diff --git a/tests/custom/issues/395/m_is_3.param b/tests/custom/issues/395/m_is_3.param new file mode 100644 index 0000000000..82271011c0 --- /dev/null +++ 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 index d8ed8277eb..db2d708e52 100755 --- 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 index 15590b4673..f869c73339 100644 --- 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)