Recognize Gappa 1.2.

e23e4db6 · Guillaume Melquiond · MARCHE Claude · bcaf7319 · e23e4db6
Commit e23e4db6 authored May 19, 2015 by Guillaume Melquiond Committed by MARCHE Claude May 21, 2015
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

share/provers-detection-data.conf share/provers-detection-data.conf +1 -1

No files found.
--- a/share/provers-detection-data.conf
+++ b/share/provers-detection-data.conf
@@ -216,7 +216,7 @@ exec = "gappa-0.16.1"
 exec = "gappa-0.14.1"
 version_switch = "--version"
 version_regexp = "Gappa \\([^ \n]*\\)"
-version_ok = "^1\.[0-1]\..+$"
+version_ok = "^1\.[0-2]\..+$"
 version_old = "^0\.1[1-8]\..+$"
 command = "%l/why3-cpulimit %t %m -s %e -Eprecision=70"
 driver = "drivers/gappa.drv"