Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit dc83f5fb authored by François Bobot's avatar François Bobot
Browse files

[Detect] correct cvc4 `exec` order

     The order of the `exec` is the priority order for being the
shortcut. cvc4 should point to the latest or cvc4 if present
parent 46d3077a
......@@ -88,11 +88,11 @@ driver = "drivers/alt_ergo_0.92.drv"
[ATP cvc4]
name = "CVC4"
exec = "cvc4"
exec = "cvc4-1.0"
exec = "cvc4-1.1"
exec = "cvc4-1.2"
exec = "cvc4-1.3"
exec = "cvc4-1.4"
exec = "cvc4-1.3"
exec = "cvc4-1.2"
exec = "cvc4-1.1"
exec = "cvc4-1.0"
version_switch = "--version"
version_regexp = "This is CVC4 version \\([^ \n\r]+\\)"
version_ok = "1.0"
......
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