Initial version - no effects yet

.gitignore

@@ -0,0 +1,4 @@
+/target/
+/project/target/
+/.idea/
+/.bsp/

build.sbt

@@ -0,0 +1,12 @@
+ThisBuild / version := "0.1.0-SNAPSHOT"
+
+ThisBuild / scalaVersion := "2.13.10"
+
+lazy val root = (project in file("."))
+  .settings(
+    name := "ScalaTestCheck",
+    libraryDependencies += "org.scalatest" %% "scalatest" % "3.2.11" % Test,
+    libraryDependencies += "org.scalacheck" %% "scalacheck" % "1.16.0" % Test,
+    libraryDependencies += "org.typelevel" %% "scalacheck-effect" % "1.0.4" % Test,
+    libraryDependencies += "org.scalatestplus" %% "scalacheck-1-15" % "3.2.11.0" % Test,
+  )

project/build.properties

@@ -0,0 +1 @@
+sbt.version = 1.8.2

src/main/scala/Main.scala

@@ -0,0 +1,5 @@
+object Main {
+  def main(args: Array[String]): Unit = {
+    println("Hello world!")
+  }
+}

src/test/scala/MainTest.scala

@@ -0,0 +1,14 @@
+import org.scalatest.flatspec.AsyncFlatSpec
+import org.scalatest.matchers.should.Matchers
+import org.scalacheck._
+import org.scalatestplus.scalacheck.ScalaCheckPropertyChecks
+
+class MainTest extends AsyncFlatSpec with Matchers with ScalaCheckPropertyChecks {
+  behavior of "Main"
+
+  it should "perform computations" in {
+    forAll(Gen.oneOf(0 until 10)) { i =>
+      assert(i < 5) // intentional fail - we want to see how the failure is reported
+    }
+  }
+}