Commit 383157bb authored by MARCHE Claude's avatar MARCHE Claude

this time it is the right one\!

parent f4d21bda
......@@ -58,15 +58,19 @@ examples/regtests.sh &> $OUT
if test "$?" != "0" ; then
cp $OUT $REPORTDIR/regtests-$DATE
echo "Proof replay failed" >> $REPORT
diff -u $PREVIOUS $OUT >> $DIFF
diff -u $PREVIOUS $OUT &> $DIFF
if test "$?" == 0 ; then
echo "---------- No difference with last bench ---------- " >> $REPORT
echo "" >> $REPORT
echo "-------------- Full current state --------------" >> $REPORT
echo "" >> $REPORT
cat $OUT >> $REPORT
else
echo "" >> $REPORT
echo "--------------- Diff with last bench --------------" >> $REPORT
echo "" >> $REPORT
cp $OUT $PREVIOUS
sed '1,2d' $DIFF >> $REPORT
cp $OUT $PREVIOUS
echo "" >> $REPORT
echo "-------------- Full current state --------------" >> $REPORT
echo "" >> $REPORT
......
......@@ -197,8 +197,11 @@ let print_result fmt res =
let print_result fmt
{Call_provers.pr_answer=ans; Call_provers.pr_output=out;
Call_provers.pr_time=t} =
Call_provers.pr_time=_t} =
(*
fprintf fmt "%a (%.1fs)" Call_provers.print_prover_answer ans t;
*)
fprintf fmt "%a" Call_provers.print_prover_answer ans;
if ans == Call_provers.HighFailure then
fprintf fmt "@\nProver output:@\n%s@." 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