Commit c95afb9c authored by MARCHE Claude's avatar MARCHE Claude

support for more gappa versions

parent 31b4c6da
......@@ -176,8 +176,10 @@ driver = "drivers/eprover.drv"
name = "Gappa"
exec = "gappa"
exec = "gappa-1.1.1"
exec = "gappa-1.1.0"
exec = "gappa-1.0.0"
exec = "gappa-0.16.1"
exec = "gappa-0.14.1"
version_switch = "--version"
version_regexp = "Gappa \\([^ \n]*\\)"
version_ok = "^1\.[0-1]\..+$"
......
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