From 2d2506893a74376a283f8083ed7385c237743957 Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond Date: Wed, 22 Nov 2017 13:42:12 +0100 Subject: [PATCH] Move alt-ergo-prv later in the file. That way, unrecognized versions of Alt-Ergo (e.g. 2.0) are no longer associated to obsolete versions, by default. --- share/provers-detection-data.conf | 32 +++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/share/provers-detection-data.conf b/share/provers-detection-data.conf index d4c124cf8..5994402ae 100644 --- a/share/provers-detection-data.conf +++ b/share/provers-detection-data.conf @@ -1,19 +1,3 @@ -[ATP alt-ergo-prv] -name = "Alt-Ergo" -exec = "alt-ergo" -exec = "alt-ergo-1.20.prv" -exec = "alt-ergo-1.10.prv" -exec = "alt-ergo-1.00.prv" -version_switch = "-version" -version_regexp = "^\\([0-9.]+\\(-dev\\|prv\\)?\\)$" -version_old = "1.20.prv" -version_old = "1.10.prv" -version_old = "1.00.prv" -command = "%e -timelimit %t %f" -command_steps = "%e -steps-bound %S %f" -driver = "alt_ergo" -editor = "altgr-ergo" - [ATP alt-ergo] name = "Alt-Ergo" exec = "alt-ergo" @@ -43,6 +27,22 @@ command_steps = "%e -no-rm-eq-existential -steps-bound %S %f" driver = "alt_ergo" editor = "altgr-ergo" +[ATP alt-ergo-prv] +name = "Alt-Ergo" +exec = "alt-ergo" +exec = "alt-ergo-1.20.prv" +exec = "alt-ergo-1.10.prv" +exec = "alt-ergo-1.00.prv" +version_switch = "-version" +version_regexp = "^\\([0-9.]+\\(-dev\\|prv\\)?\\)$" +version_old = "1.20.prv" +version_old = "1.10.prv" +version_old = "1.00.prv" +command = "%e -timelimit %t %f" +command_steps = "%e -steps-bound %S %f" +driver = "alt_ergo" +editor = "altgr-ergo" + # CVC4 version 1.5 [ATP cvc4-15] name = "CVC4" -- GitLab