Commit eb30619e authored by Heiko Becker's avatar Heiko Becker

Merge branch 'affine_arithmetic' of gitlab.mpi-sws.org:AVA/FloVer into affine_arithmetic

parents 9c165783 17076ead
......@@ -87,7 +87,8 @@ do
RESULT=${RESULT#*M1}
RESULT=${RESULT%%M2*}
echo -n $RESULT >>$1
rm ./certificate_*
cd ../../
# #run HOL4 binary
......
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