From 17575768c8fe65522f5695fd1d57fa7f6e87923e Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Mon, 24 Jul 2023 17:13:26 +0200 Subject: [PATCH] Try with a POSIX redirection --- tests/cram.t/run.t | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tests/cram.t/run.t b/tests/cram.t/run.t index 6a9c791ab..21ed6600d 100644 --- 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