final bijna

[ar1516.git] / src / a3.bash

diff --git a/src/a3.bash b/src/a3.bash
index 8ce0b83..dba5f43 100644 (file)
--- a/src/a3.bash
+++ b/src/a3.bash
@@ -43,9 +43,10 @@ function generate {
        echo "))"
 }
 
-i=1
+time { i=1
 while [ $(generate $i | yices-smt) = "unsat" ]; do
        echo "T=$((i++)) is still unsat"
 done
 echo "T=$i is sat thus the minimum T=$i"
+}
 generate $i | yices-smt -m | python3 src/a3.py > $1