From 1baf1ac82d698d87c96b27ab8323bf7188c502ac Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Mon, 21 Mar 2016 13:21:09 +0100
Subject: [PATCH] [testrun.sh] Fixed an issue where a failed test appeared as
passed
---
src/plugins/e-acsl/scripts/testrun.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh
index 62d9166d306..8b3507307dc 100755
--- a/src/plugins/e-acsl/scripts/testrun.sh
+++ b/src/plugins/e-acsl/scripts/testrun.sh
@@ -102,9 +102,9 @@ run_test() {
# Log outputs of the generated executables
debug "Run and log native execution to $oexeclog.native"
- $oexec 2>&1 > $oexeclog.native || true
+ $oexec > $oexeclog.native 2>&1
debug "Run and log E-ACSL execution to $oexeclog.e-acsl"
- $oexec.e-acsl 2>&1 > $oexeclog.e-acsl || true
+ $oexec.e-acsl > $oexeclog.e-acsl 2>&1
## Make sure that instrumented and uninstrumented programs have same outputs
diff $oexeclog.native $oexeclog.e-acsl ||
--
GitLab