Commit f7def304 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

fix CE bench for using official CVC4 1.5 release

parent a66f4c2e
......@@ -16,7 +16,7 @@ cd $dir
run_cvc4_15 () {
echo -n " $1... "
../bin/why3prove.opt -P "CVC4,1.5-prerelease" --timelimit 1 --get-ce $1 | \
../bin/why3prove.opt -P "CVC4,1.5" --timelimit 1 --get-ce $1 | \
# This ad hoc sed removes any timing information from counterexamples output.
# Counterexamples in JSON format cannot match this regexp.
sed 's/ ([0-9]\+\.[0-9]\+s)//' > $1.out
......
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