Commit 4174156b authored by MARCHE Claude's avatar MARCHE Claude

revert unwanted change in prover detection data

parent 8e0f218c
[ATP alt-ergo-0.93.1]
name = "Alt-Ergo"
exec = "alt-ergo-0.93.1"
version_switch = "-version"
version_regexp = "\\([0-9.]+\\)"
version_ok = "0.93.1"
version_bad = "0.93"
version_bad = "0.92.3"
version_bad = "0.92.2"
version_bad = "0.92.1"
version_bad = "0.92"
version_bad = "0.91"
version_bad = "0.9"
version_bad = "0.8"
command = "@LOCALBIN@why3-cpulimit %t %m -s %e %f"
driver = "drivers/alt_ergo_trunk.drv"
[ATP alt-ergo]
name = "Alt-Ergo"
exec = "alt-ergo"
version_switch = "-version"
version_regexp = "\\([0-9.]+\\)"
version_ok = "0.93.1"
version_ok = "0.93"
version_bad = "0.92.3"
version_bad = "0.92.2"
......@@ -31,9 +47,9 @@ version_old = "0.8"
command = "@LOCALBIN@why3-cpulimit %t %m -s %e %f"
driver = "drivers/alt_ergo.drv"
[ATP cvc3]
[ATP cvc3-2.4]
name = "CVC3"
exec = "cvc3"
exec = "cvc3-2.4.1"
version_switch = "-version"
version_regexp = "This is CVC3 version \\([^ \n]+\\)"
version_ok = "2.4.1"
......@@ -141,9 +157,9 @@ command = "@LOCALBIN@why3-cpulimit %t %m -s %e %f"
driver = "drivers/verit.drv"
[ATP z3]
[ATP z3-3]
name = "Z3"
exec = "z3"
exec = "z3-3.2"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_ok = "3.2"
......@@ -165,7 +181,7 @@ name = "Z3"
exec = "z3"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_old = "2.19"
version_ok = "2.19"
version_old = "2.18"
version_old = "2.17"
version_old = "2.16"
......
Markdown is supported
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