Commit bba12a8e authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

version of E prover

parent 0b9354b0
......@@ -23,6 +23,8 @@ driver = "drivers/cvc3.drv"
[ATP eprover]
name = "Eprover"
exec = "eprover"
version_switch = "--version"
version_regexp = "E \\([^\n]+\\)"
command = "why3-cpulimit 0 %m %e -s --print-statistics -xAuto -tAuto --cpu-limit=%t --tstp-in %f 2>&1"
driver = "drivers/tptp.drv"
Supports Markdown
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