• Sylvain Dailler's avatar
    Why3 counterex - Changing parsing of prover return statement for altergo. · 82188ee6
    Sylvain Dailler authored
    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
Name
Last commit
Last update
..
coq-tactic Loading commit data...
encoding Loading commit data...
invalid Loading commit data...
plugins Loading commit data...
programs Loading commit data...
typing Loading commit data...
valid Loading commit data...
bench Loading commit data...
true_goal.why Loading commit data...