update

[ar1516.git] / src / a4.bash

diff --git a/src/a4.bash b/src/a4.bash
index 7f9e0f9..61d4529 100644 (file)
--- a/src/a4.bash
+++ b/src/a4.bash
@@ -61,3 +61,4 @@ while [ $(generate $i | yices-smt) = "unsat" ]; do
        i=$((i+1))
 done
 echo "N=$i is sat thus minimum N=$i"
+generate $i | yices-smt -m | python src/a4.py > $1