Commit 19f83f49 authored by Andrei Paskevich's avatar Andrei Paskevich

minor fix in bench/bench

parent 6ce6b886
......@@ -175,7 +175,7 @@ provers=$($pgm --list-provers | cut -d " " -f 3 |grep -v "^$")
good_provers=""
bad_provers=""
for prover in $(echo $provers); do
if bin/why.opt -P $prover bench/true_goal.why | grep -q -v Valid; then
if $pgm -P $prover bench/true_goal.why | grep -q -v Valid; then
#echo "$i : Fail"
bad_provers="$bad_provers $prover"
else
......@@ -198,4 +198,4 @@ for file in bench/valid/*.why; do
for prover in $good_provers; do
test_prover $prover $file
done
done
\ No newline at end of file
done
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