Commit d4c8a4b4 authored by POTTIER Francois's avatar POTTIER Francois

Modified to test the table back-end with and without --inspection.

parent ae258f67
......@@ -4,3 +4,5 @@
......@@ -27,6 +27,15 @@ for f in $DATA/* ; do
$CALC/calc < $f > $b.table.out 2> $b.table.err
# Build the parser with the table back-end (with --inspection) and run it.
echo "Building and running (inspection)..."
make -C $CALC MENHIR="$MENHIR --trace --table --inspection" clean >/dev/null
make -C $CALC MENHIR="$MENHIR --trace --table --inspection" >/dev/null
for f in $DATA/* ; do
$CALC/calc < $f > $b.inspection.out 2> $b.inspection.err
# Run the reference interpreter.
echo "Running the reference interpreter..."
for f in $DATA/* ; do
......@@ -39,7 +48,7 @@ echo "Comparing results..."
# Compare the results to the reference.
for f in $DATA/* ; do
for mode in code table ; do
for mode in code table inspection ; do
echo "($b) Checking output of $mode parser..."
if ! diff -q $b.ref.out $b.$mode.out >/dev/null ; then
echo "($b) The $mode parser produces a wrong result!"
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