wip

conjure_oxide/arithmetic/mul-add-distribute/input.eprime

@@ -0,0 +1,8 @@
+language ESSENCE' 1.0
+
+find x,y,z: int(1..10)
+
+such that
+x * (y + z) = (x * y) + (x * z)
+
+

conjure_oxide/tests/integration/eprime-minion/arithmetic/mul-add-distributivity-1/input.eprime.disabled

@@ -0,0 +1,7 @@
+language ESSENCE' 1.0
+
+find x,y,z: int(2..100)
+
+such that 
+x * ( y + z) = (x * y) + (x * z),
+allDiff([x,y,z])

conjure_oxide/tests/integration/eprime-minion/arithmetic/send-more-money/input.eprime.disabled

@@ -0,0 +1,14 @@
+language ESSENCE' 1.0
+
+find s: int(1..9)
+find e: int(1..9)
+find n: int(1..9)
+find d: int(1..9)
+find m: int(1..9) $ m !=0
+find o: int(1..9)
+find r: int(1..9)
+find y: int(1..9)
+
+such that
+ (s * e * n * d) + (m * o * r * e) = m * o * n * e * y
+

tools/test-summary.sh

@@ -55,6 +55,6 @@ echo ""
  echo -e "$test, \033[0;33m$test , disabled \033[0m\n"
  done
  for test in $DISABLED_EPRIME_TESTS; do
- echo -e "$ test, \033[0;33m$test , disabled \033[0m\n"
+ echo -e "$test, \033[0;33m$test , disabled \033[0m\n"
  done
 } | sort -k1 -t, | cut -d, -f 2,3 | column -t -s,