adds new test to repository

algebraic-solving · Jul 26, 2024 · 24f86dc · 24f86dc
1 parent 8c73502
commit 24f86dc
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 0 deletions.
diff --git a/input_files/f4sat-zero-input.ms b/input_files/f4sat-zero-input.ms
@@ -0,0 +1,4 @@
+x, y
+1073741831
+2*x+3*y,
+0
diff --git a/output_files/f4sat-zero-input.res b/output_files/f4sat-zero-input.res
diff --git a/test/diff/diff_f4sat-zero-input.sh b/test/diff/diff_f4sat-zero-input.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+file=f4sat-zero-input
+
+$(pwd)/msolve -f input_files/$file.ms -S -g2 -o test/diff/$file.res \
+      -n2
+# should return an error 1 status
+if [ $? -gt 1 ]; then
+    exit 1
+fi
+
+diff test/diff/$file.res output_files/$file.res
+# should return an error 1 status
+if [ $? -gt 1 ]; then
+    exit 2
+fi
+
+rm test/diff/$file.res