examples/bench.sh · 9004bddb6645283c63cc52c228651eea3f45e2ab · Why3 / why3

Why3 counterex - Changing parsing of prover return statement for altergo. · 82188ee6

Sylvain Dailler authored Sep 09, 2016

Adding "I don't know" as a correct keyword for provers return (inside
counterexamples).
Updating scripts because of move from hoare_logic to WP_revisited.

* src/driver/parse_smtv2_model.ml
(parse): Adding I dont know as a keyword.

* bench/bench
Changing to WP_revisited.

* examples/bench.sh
Changing to WP_revisited.

* examples/regtests.sh
Changing to WP_revisited.

82188ee6