From a53952d91f89c8db83e520bce9965f4b45b9aa34 Mon Sep 17 00:00:00 2001 From: Michele Alberti <michele.alberti@cea.fr> Date: Wed, 10 Nov 2021 17:22:16 +0100 Subject: [PATCH] [config] Do not execute alt-ergo-2.4.0. --- config/caisar-detection-data.conf | 1 - tests/simple.t | 4 ---- 2 files changed, 5 deletions(-) diff --git a/config/caisar-detection-data.conf b/config/caisar-detection-data.conf index dedf31d5..e4b4b2a9 100644 --- a/config/caisar-detection-data.conf +++ b/config/caisar-detection-data.conf @@ -1,7 +1,6 @@ [ATP alt-ergo] name = "Alt-Ergo" exec = "alt-ergo" -exec = "alt-ergo-2.4.0" version_switch = "--version" version_regexp = "^\\([0-9.]+\\)$" version_ok = "2.4.0" diff --git a/tests/simple.t b/tests/simple.t index 905efcc4..43706bbe 100644 --- a/tests/simple.t +++ b/tests/simple.t @@ -43,10 +43,6 @@ Test verify <autodetect>Generating strategies: <autodetect>Run: (Marabou --version) > $TMPFILE 2>&1 <autodetect>Run: (alt-ergo --version) > $TMPFILE 2>&1 - <autodetect>Run: (alt-ergo-2.4.0 --version) > $TMPFILE 2>&1 - <autodetect>command 'alt-ergo-2.4.0 --version' failed. Output: - sh: 1: alt-ergo-2.4.0: not found - <autodetect>Run: (pyrat.py --version) > $TMPFILE 2>&1 <autodetect>Found prover Alt-Ergo version 2.4.0, OK. <autodetect>Found prover Marabou version 1.0.+, OK. -- GitLab