ref #395 - solve example 1 and 3, 2 hits an SR bug

conjure-cp · Jun 25, 2019 · c7bd519 · c7bd519
1 parent afd2ef4
commit c7bd519
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 1 deletion.
diff --git a/tests/custom/issues/395/m_is_3.param b/tests/custom/issues/395/m_is_3.param
@@ -0,0 +1 @@
+letting m be 3
diff --git a/tests/custom/issues/395/run.sh b/tests/custom/issues/395/run.sh
@@ -1,5 +1,11 @@
 rm -rf conjure-output
+
 conjure modelling 1.essence ; head -n30 conjure-output/model000001.eprime
 conjure modelling 2.essence ; head -n30 conjure-output/model000001.eprime
 conjure modelling 3.essence ; head -n30 conjure-output/model000001.eprime
-rm -rf conjure-output
+
+conjure solve 1.essence m_is_3.param ; cat *.solution ; rm -f *.solution
+# conjure solve 2.essence m_is_3.param ; cat *.solution ; rm -f *.solution
+conjure solve 3.essence m_is_3.param ; cat *.solution ; rm -f *.solution
+
+rm -rf conjure-output *.solution
diff --git a/tests/custom/issues/395/stdout.expected b/tests/custom/issues/395/stdout.expected
@@ -88,3 +88,23 @@ $  "lettings": [],
 $  "unnameds": [],
 $  "strategyQ": {"PickFirst": []},
 $  "strategyA": {"Auto": {"Interactive": []}},
+Generating models for 1.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime m_is_3.param
+Running minion for domain filtering.
+Running solver: minion
+Copying solution to: 1-m_is_3.solution
+language Essence 1.3
+
+letting Cs be sequence(0, 0, 0)
+letting Cz be sequence(0, 0, 0)
+Using cached models.
+Savile Row: model000001.eprime m_is_3.param
+Running minion for domain filtering.
+Running solver: minion
+Copying solution to: 3-m_is_3.solution
+language Essence 1.3
+
+letting Cs be sequence(0, 0, 0)
+letting Cz be sequence(0, 0, 0)