Commit 180af8f1 authored by Heiko Becker's avatar Heiko Becker

Next bug fix

parent 881f00f5
......@@ -22,11 +22,13 @@ do
#echo "Coq certificate"
FILEPRE=${file/.scala/}
FILENAME=${FILEPRE/.\/testcases\/cpp2018\//}
/usr/bin/time -o $1 -a -f " $FILENAME , %e " ./daisy $file --certificate=coq --errorMethod=interval --mixed-precision=testcases/mixed-precision-maps/${file/scala/txt} >/dev/null
PMAPSUFF=${file/scala/txt}
PMAP=${PMAPSUFF/.\/testcases\/cpp2018\//}
/usr/bin/time -o $1 -a -f " $FILENAME , %e " ./daisy $file --certificate=coq --errorMethod=interval --mixed-precision=testcases/mixed-precision-maps/$PMAP
#echo "HOL4 Certificate"
/usr/bin/time -o $1 -a -f " $FILENAME , %e " ./daisy $file --certificate=hol4 --errorMethod=interval --mixed-precision=testcases/mixed-precision-maps/${file/scala/txt} >/dev/null
/usr/bin/time -o $1 -a -f " $FILENAME , %e " ./daisy $file --certificate=hol4 --errorMethod=interval --mixed-precision=testcases/mixed-precision-maps/$PMAP
#echo "HOL4 Binary Certificate"
/usr/bin/time -o $1 -a -f " $FILENAME , %e " ./daisy $file --certificate=binary --errorMethod=interval --mixed-precision=testcases/mixed-precision-maps/${file/scala/txt} >/dev/null
/usr/bin/time -o $1 -a -f " $FILENAME , %e " ./daisy $file --certificate=binary --errorMethod=interval --mixed-precision=testcases/mixed-precision-maps/$PMAP
#echo ""
done
......
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