final bijna

[ar1516.git] / src / a2.bash

diff --git a/src/a2.bash b/src/a2.bash
index 082e2f2..6796956 100644 (file)
--- a/src/a2.bash
+++ b/src/a2.bash
@@ -96,4 +96,4 @@ function generate {
        done
        echo "))"
 }
-generate | yices-smt -m | python3 src/a2.py > $1
+time generate | yices-smt -m | python3 src/a2.py > $1