Skip to content
Snippets Groups Projects
Commit a53952d9 authored by Michele Alberti's avatar Michele Alberti
Browse files

[config] Do not execute alt-ergo-2.4.0.

parent fd15af2e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
config/caisar-detection-data.conf
+ 0
− 1
View file @ a53952d9
[ATP alt-ergo] [ATP alt-ergo]
name = "Alt-Ergo" name = "Alt-Ergo"
exec = "alt-ergo" exec = "alt-ergo"
exec = "alt-ergo-2.4.0"
version_switch = "--version" version_switch = "--version"
version_regexp = "^\\([0-9.]+\\)$" version_regexp = "^\\([0-9.]+\\)$"
version_ok = "2.4.0" version_ok = "2.4.0"
......
tests/simple.t
+ 0
− 4
View file @ a53952d9
...@@ -43,10 +43,6 @@ Test verify ...@@ -43,10 +43,6 @@ Test verify
<autodetect>Generating strategies: <autodetect>Generating strategies:
<autodetect>Run: (Marabou --version) > $TMPFILE 2>&1 <autodetect>Run: (Marabou --version) > $TMPFILE 2>&1
<autodetect>Run: (alt-ergo --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>Run: (pyrat.py --version) > $TMPFILE 2>&1
<autodetect>Found prover Alt-Ergo version 2.4.0, OK. <autodetect>Found prover Alt-Ergo version 2.4.0, OK.
<autodetect>Found prover Marabou version 1.0.+, OK. <autodetect>Found prover Marabou version 1.0.+, OK.
......
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