test: added tests for conjure solve to the testing directory

vincepick · Dec 18, 2024 · ac116b6 · ac116b6
1 parent 6ed1a81
commit ac116b6
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/scripts/testScript/conjure_solve-tests/model-test.solution b/scripts/testScript/conjure_solve-tests/model-test.solution
@@ -0,0 +1,3 @@
+language Essence 1.3
+
+letting y be 6
diff --git a/scripts/testScript/conjure_solve-tests/model.essence b/scripts/testScript/conjure_solve-tests/model.essence
@@ -0,0 +1,4 @@
+given x: int(1..10)
+find y: int(1..10)
+such that
+        y > x
diff --git a/scripts/testScript/conjure_solve-tests/test.param b/scripts/testScript/conjure_solve-tests/test.param
@@ -0,0 +1 @@
+letting x be 5