Commit f72df6ad authored by Heiko Becker's avatar Heiko Becker
Browse files

Update regressiontests.sh to disable binary tests

parent e8f1bad4
...@@ -68,15 +68,15 @@ for fname in ./*.sml; do ...@@ -68,15 +68,15 @@ for fname in ./*.sml; do
fi fi
done done
#Binary regression tests #Binary regression tests; disabled
for fname in ./*.txt; do #for fname in ./*.txt; do
../../hol4/binary/cake_checker $fname # ../../hol4/binary/cake_checker $fname
if [ $? -eq 0 ] # if [ $? -eq 0 ]
then # then
echo "Successfully checked $fname"; # echo "Successfully checked $fname";
else # else
echo "Checking $fname has failed" # echo "Checking $fname has failed"
exit 1; # exit 1;
fi # fi
done 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