Commit 6847fe50 authored by MARCHE Claude's avatar MARCHE Claude

missing gappa exec names

parent 851f55d9
......@@ -144,6 +144,11 @@ driver = "drivers/eprover.drv"
[ATP gappa]
name = "Gappa"
exec = "gappa"
exec = "gappa-0.16.4"
exec = "gappa-0.16.1"
exec = "gappa-0.16.0"
exec = "gappa-0.15.1"
exec = "gappa-0.14.1"
version_switch = "--version"
version_regexp = "Gappa \\([^ \n]*\\)"
version_ok = "^0\.16\.[0-4]$"
......
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