Commit 0153170f authored by Guillaume Melquiond's avatar Guillaume Melquiond

Skip the C printer when checking drivers.

parent 257d0bb6
......@@ -52,6 +52,7 @@ drivers () {
pgm="bin/why3prove$suffix"
for f in $1/*.drv; do
if [[ $f == drivers/ocaml*.drv ]]; then continue; fi
if [[ $f == drivers/c.drv ]]; then continue; fi
echo -n " $f... "
# running Why
if ! echo "theory Test goal G : 1=2 end" | $pgm -F whyml --driver $f - > /dev/null; then
......
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