Commit 5e8c434c authored by Guillaume Melquiond's avatar Guillaume Melquiond

Recognize Gappa 1.3 and Z3 4.5.

parent 47290cfa
......@@ -184,6 +184,8 @@ driver = "drivers/eprover.drv"
[ATP gappa]
name = "Gappa"
exec = "gappa"
exec = "gappa-1.3.1"
exec = "gappa-1.3.0"
exec = "gappa-1.2.0"
exec = "gappa-1.1.1"
exec = "gappa-1.1.0"
......@@ -192,7 +194,7 @@ exec = "gappa-0.16.1"
exec = "gappa-0.14.1"
version_switch = "--version"
version_regexp = "Gappa \\([^ \n]*\\)"
version_ok = "^1\.[0-2]\..+$"
version_ok = "^1\.[0-3]\..+$"
version_old = "^0\.1[1-8]\..+$"
command = "%l/why3-cpulimit %t %m -s %e -Eprecision=70"
driver = "drivers/gappa.drv"
......@@ -328,10 +330,12 @@ version_old = "201310"
[ATP z3]
name = "Z3"
exec = "z3"
exec = "z3-4.5.0"
exec = "z3-4.4.1"
exec = "z3-4.4.0"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_ok = "4.5.0"
version_ok = "4.4.1"
version_ok = "4.4.0"
driver = "drivers/z3_440.drv"
......@@ -343,10 +347,12 @@ command_steps = "%l/why3-cpulimit %U %m -s %e -smt2 sat.random_seed=42 nlsat.ran
name = "Z3"
alternative = "noBV"
exec = "z3"
exec = "z3-4.5.0"
exec = "z3-4.4.1"
exec = "z3-4.4.0"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_ok = "4.5.0"
version_ok = "4.4.1"
version_ok = "4.4.0"
driver = "drivers/z3_432.drv"
......
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