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

support for Z3 4.0

parent 2b3e8fb2
......@@ -225,6 +225,26 @@ version_regexp = "Version: \\([^ \n\r]+\\)"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e %f"
driver = "drivers/verit.drv"
[ATP z3-4]
name = "Z3"
exec = "z3"
exec = "z3-4.0"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_ok = "4.0"
version_bad = "3.2"
version_bad = "3.1"
version_bad = "3.0"
version_bad = "2.19"
version_bad = "2.18"
version_bad = "2.17"
version_bad = "2.16"
version_bad = "2.2"
version_bad = "2.1"
version_bad = "1.3"
driver = "drivers/z3.drv"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e -smt2 -rs:42 %f"
[ATP z3-3]
name = "Z3"
exec = "z3"
......@@ -233,6 +253,7 @@ exec = "z3-3.1"
exec = "z3-3.0"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_bad = "4.0"
version_ok = "3.2"
version_old = "3.1"
version_old = "3.0"
......@@ -256,6 +277,7 @@ exec = "z3-2.17"
exec = "z3-2.16"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_bad = "4.0"
version_bad = "3.2"
version_bad = "3.1"
version_bad = "3.0"
......
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