Commit ed23b08c authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Fixes in coverage.sh.

parent 80603dfb
......@@ -8,10 +8,10 @@ TIMEOUT=30
export OCAMLRUNPARAM=b
make clean || exit 1
make bootstrap || exit 1
rm log
rm -f log
for f in ../bench/good/*.mly ; do
echo $f | tee -a log
(timeout $TIMEOUT time _stage2/menhir.native -v -lg 1 -la 1 $f) 2>> log
(timeout $TIMEOUT time _stage2/menhir.native -v -lg 1 -la 1 --list-errors $f) 2>> log
done
echo "Number of grammars that could not be handled in $TIMEOUT seconds:"
grep aborting log | wc -l
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