Commit cc1344c8 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Skip Alt-Ergo-based benches if Alt-Ergo is not installed.

parent 2ea64b0a
......@@ -98,6 +98,7 @@ drivers () {
}
valid_goals () {
bin/why3$suffix --list-provers | grep -q Alt-Ergo || return 0
pgm="bin/why3prove$suffix"
test -d $1 || exit 1
for f in $1/*.mlw; do
......@@ -113,6 +114,7 @@ valid_goals () {
}
invalid_goals () {
bin/why3$suffix --list-provers | grep -q Alt-Ergo || return 0
pgm="bin/why3prove$suffix"
test -d $1 || exit 1
for f in $1/*.mlw; do
......
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