Commit 8639ada5 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

add support for Z3 4.3.3

parent 8600e65a
......@@ -302,10 +302,12 @@ version_ok = "201310"
[ATP z3]
name = "Z3"
exec = "z3"
exec = "z3-4.3.3"
exec = "z3-4.3.2"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_ok = "4.3.2"
version_ok = "4.3.3"
version_old = "4.3.2"
driver = "drivers/z3.drv"
command = "%l/why3-cpulimit %t %m -s %e -smt2 sat.random_seed=42 nlsat.randomize=false smt.random_seed=42 %f"
......@@ -320,7 +322,7 @@ exec = "z3-4.1.1"
exec = "z3-4.0"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_ok = "4.3.1"
version_old = "4.3.1"
version_old = "4.3.0"
version_old = "4.2"
version_old = "4.1.2"
......
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