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

Fixes in coverage.sh.

parent c539f65c
......@@ -3,22 +3,24 @@
# This script runs menhir --list-errors on every grammar in bench/good,
# aborting if it takes too long.
TIMEOUT=2
TIMEOUT=60
export OCAMLRUNPARAM=b
SRC=../../src
MENHIR=../../src/_stage1/menhir.native
MENHIR=../../src/_stage2/menhir.native
# Compile Menhir.
make -C $SRC || exit 1
make -C $SRC clean || exit 1
make -C $SRC bootstrap || exit 1
# Remove any leftover output files.
rm -f log lr.csv
# Print the header of lr.csv. (This should be kept in sync with LRijkstra.ml.)
echo "grammar,terminals,nonterminals,size,states,trie,facts,edges,time" > lr.csv
# Try every grammar.
for f in *.mly ; do
echo $f | tee -a log
(timeout $TIMEOUT $MENHIR -lg 1 -la 2 --list-errors $f) &>> log
# Try every grammar. (Only the single-file grammars, that is.)
for f in `ls *.mly | egrep -v '.*-([1-9]).mly'` ; do
echo "Now dealing with: $f" | tee -a log
(timeout $TIMEOUT $MENHIR -lg 1 -la 2 --list-errors --lalr $f) &>> log
echo "Done dealing with: $f" | tee -a 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