Commit 96e70c76 authored by MARCHE Claude's avatar MARCHE Claude

adding ce regression tests in nightly bencn

parent f2f79670
......@@ -136,6 +136,16 @@ else
echo "Make bench succeeded. " >> $REPORT
fi
# run regression bench for counterexamples
bench/ce-bench &> $OUT
if test "$?" != "0" ; then
echo "Counterexample regression tests FAILED" >> $REPORT
cat $OUT >> $REPORT
SUBJECT="$SUBJECT (CE regression failed)"
else
echo "Counterexample regression tests succeeded. " >> $REPORT
fi
# replay proofs
examples/regtests.sh &> $OUT
......
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