Try with a POSIX redirection

Halbaroth · Jul 24, 2023 · 1757576 · 1757576
1 parent 9a4bfa0
commit 1757576
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/tests/cram.t/run.t b/tests/cram.t/run.t
@@ -1,8 +1,7 @@
   $ export BUILD_PATH_PREFIX_MAP="SRC=$(dirname $(dirname $(dirname $(dirname $(which alt-ergo))))):$BUILD_PATH_PREFIX_MAP"
-  $ echo '(check-sat)' | alt-ergo --inequalities-plugin does-not-exist -i smtlib2 -o smtlib2 2> >(sed -E 's/\(\\".*\\"\)//' 1>&2)
+  $ echo '(check-sat)' | alt-ergo --inequalities-plugin does-not-exist -i smtlib2 -o smtlib2 2>&1 >/dev/null | sed -E 's/\(\\".*\\"\)//'
   alt-ergo: ; Fatal Error: [Dynlink] Loading the 'inequalities' reasoner (FM module) plugin in "does-not-exist" failed!
             >> Failure message: error loading shared library: Dynlink.Error (Dynlink.Cannot_open_dll "Failure")
-  [125]
 
 Now we will have some tests for the models. Note that it is okay if the format
 changes slightly, you should be concerned with ensuring the semantic is