final ar

[master.git] / ar / assignment1 / src / a1.bash

diff --git a/ar/assignment1/src/a1.bash b/ar/assignment1/src/a1.bash
index 5ef0e5f..339536f 100644 (file)
--- a/ar/assignment1/src/a1.bash
+++ b/ar/assignment1/src/a1.bash
@@ -4,4 +4,3 @@ while [ $(sed "s/<REP>/$i/g" a1.smt | yices-smt) = "sat" ]; do
        i=$((i+1))
 done
 echo "n(p)=$i is unsat thus maximum n(p)=$((i-1))"
-sed "s/<REP>/$((i-1))/g" a1.smt | yices-smt -m