• 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
bench.sh 1.61 KB