[Why3-club] strategy definitions in the config file
julia.lawall at lip6.fr
Sat Mar 16 09:17:06 CET 2019
Often I do split_vc and the alt-ergo. How would I define such a strategy
in the configuration file?
code = "start:
c Alt-Ergo,2.0 40 10000
But it says "Fatal: loading strategy 'Auto_level_1' failed: syntax error
on character 'A' at position 26"
I see examples with Eprover where the value in the name keyval pair is
used to name the prover. Alt-Ergo has Alt-Ergo in this line, but it
More information about the Why3-club