diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/coq/run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/coq/run_tests.sh b/test/coq/run_tests.sh index a9c6ab24..f782ed80 100755 --- a/test/coq/run_tests.sh +++ b/test/coq/run_tests.sh @@ -51,7 +51,7 @@ cd $DIR for i in `ls $TESTSDIR/ | grep sail | grep -vf "$DIR/skip"`; do - if $SAILDIR/sail -coq -o out $TESTSDIR/$i &>/dev/null; + if $SAILDIR/sail -coq -dcoq_undef_axioms -o out $TESTSDIR/$i &>/dev/null; then if coqc -R "$BBVDIR" bbv -R "$SAILDIR/lib/coq" Sail out_types.v out.v &>/dev/null; then |