spamegg1
diff --git a/‎Block.scala renamed to ‎model/Block.scala b/‎Block.scala renamed to ‎model/Block.scala
diff --git a/‎Constants.scala renamed to ‎model/Constants.scala b/‎Constants.scala renamed to ‎model/Constants.scala
diff --git a/‎State.scala renamed to ‎model/State.scala b/‎State.scala renamed to ‎model/State.scala
diff --git a/‎package.scala
-1 b/‎package.scala
-1
diff --git a/‎project.scala
+1-1 b/‎project.scala
+1-1
diff --git a/‎test/Atomic.test.scala
+1 b/‎test/Atomic.test.scala
+1
diff --git a/‎test/Formula.test.scala
+1 b/‎test/Formula.test.scala
+1
diff --git a/‎test/Generators.scala
+8 b/‎test/Generators.scala
+8
diff --git a/‎Reactor.scala renamed to ‎view/Reactor.scala b/‎Reactor.scala renamed to ‎view/Reactor.scala
@@ -17,4 +17,3 @@ export doodle.java2d.java2dFrame
 export doodle.java2d.Java2dToPicture
 export doodle.reactor.Reactor
 // export doodle.syntax.all.*
-export org.scalacheck.{Gen, Test, Prop}
@@ -1,4 +1,4 @@
 //> using scala 3.5.1
 //> using toolkit 0.5.0
 //> using dep org.creativescala::doodle:0.26.0
-//> using dep org.scalacheck::scalacheck:1.18.1
+//> using test.dep org.scalacheck::scalacheck:1.18.1
@@ -1,4 +1,5 @@
 package tarski
+package testing
 
 class AtomicSuite extends munit.FunSuite:
   test("unary atomic formula with a free variable"):
 
@@ -1,4 +1,5 @@
 package tarski
+package testing
 
 class FormulaSuite extends munit.FunSuite:
   test("simple quantified formula has no free variables"):
 
@@ -0,0 +1,8 @@
+package tarski
+package testing
+
+import org.scalacheck.{Gen, Test, Prop}, Prop.forAll
+
+val varGen = Gen.oneOf[Var](Var.values)
+val nameGen = Gen.oneOf[Name](Name.values)
+val termGen = Gen.oneOf[Term](varGen, nameGen)
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`package tarski`
	`2`	`+package testing`
`2`	`3`
`3`	`4`	`class AtomicSuite extends munit.FunSuite:`
`4`	`5`	`test("unary atomic formula with a free variable"):`