Permalink
Browse files

Changed run-tests.sh to not save theory files.

This is annoying when you only care about run time.
  • Loading branch information...
1 parent f5584fc commit b27f60d34e497cc277f6da47969e778b60107f4f @ntc2 ntc2 committed Apr 20, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 run-tests.sh
View
2 run-tests.sh
@@ -7,7 +7,7 @@ egsDir="$(dirname "$0")"
# haskellcontracts repo.
CHECK=${CHECK:-$egsDir/../src/hcc}
TIMEOUT=${TIMEOUT:-10}
-OPTIONS=${OPTIONS:-"-q -k"}
+OPTIONS=${OPTIONS:-"-q"}
# Kill the whole testing process on Ctrl-C
trap 'exit 1' INT

0 comments on commit b27f60d

Please sign in to comment.