From ac116b6996417376a05c44b0ab97a4d258298545 Mon Sep 17 00:00:00 2001
From: vincepick <vap2@st-andrews.ac.uk>
Date: Wed, 18 Dec 2024 21:38:37 +0000
Subject: [PATCH] test: added tests for conjure solve to the testing directory

---
 scripts/testScript/conjure_solve-tests/model-test.solution | 3 +++
 scripts/testScript/conjure_solve-tests/model.essence       | 4 ++++
 scripts/testScript/conjure_solve-tests/test.param          | 1 +
 3 files changed, 8 insertions(+)
 create mode 100644 scripts/testScript/conjure_solve-tests/model-test.solution
 create mode 100644 scripts/testScript/conjure_solve-tests/model.essence
 create mode 100644 scripts/testScript/conjure_solve-tests/test.param

diff --git a/scripts/testScript/conjure_solve-tests/model-test.solution b/scripts/testScript/conjure_solve-tests/model-test.solution
new file mode 100644
index 00000000..4b01251b
--- /dev/null
+++ b/scripts/testScript/conjure_solve-tests/model-test.solution
@@ -0,0 +1,3 @@
+language Essence 1.3
+
+letting y be 6
\ No newline at end of file
diff --git a/scripts/testScript/conjure_solve-tests/model.essence b/scripts/testScript/conjure_solve-tests/model.essence
new file mode 100644
index 00000000..9bdd5792
--- /dev/null
+++ 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
\ No newline at end of file
diff --git a/scripts/testScript/conjure_solve-tests/test.param b/scripts/testScript/conjure_solve-tests/test.param
new file mode 100644
index 00000000..a063dcc8
--- /dev/null
+++ b/scripts/testScript/conjure_solve-tests/test.param
@@ -0,0 +1 @@
+letting x be 5
\ No newline at end of file