Commit 53eb9a6a authored by MARCHE Claude's avatar MARCHE Claude
Browse files

increased time limit for the bench

parent dd152fa2
......@@ -87,10 +87,10 @@ bad_programs () {
valid_goals () {
for f in $1/*.mlw; do
echo -n " "$f"... "
if $pgml -L modules -P alt-ergo $f | grep -q -v Valid; then
if $pgml -L modules -t 10 -P alt-ergo $f | grep -q -v Valid; then
echo "valid test $f failed!"
echo "$pgml -P alt-ergo $f"
$pgml -L modules -P alt-ergo $f
$pgml -L modules -t 10 -P alt-ergo $f
exit 1
else
echo "ok"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment