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

support for CVC4 1.1 and 1.2

parent 99f907f1
......@@ -77,14 +77,18 @@ version_old = "0.8"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e %f"
driver = "drivers/alt_ergo_0.92.drv"
# CVC4 version 1.0
# CVC4 version 1.x
[ATP cvc4]
name = "CVC4"
exec = "cvc4"
exec = "cvc4-1.0"
exec = "cvc4-1.1"
exec = "cvc4-1.2"
version_switch = "--version"
version_regexp = "This is CVC4 version \\([^ \n\r]+\\)"
version_ok = "1.0"
version_ok = "1.1"
version_ok = "1.2"
driver = "drivers/cvc4.drv"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e --lang=smt2 %f"
......
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