From 711da30b992b7897de96b7d52b96c888437a5880 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 5 Feb 2016 15:57:56 +0100
Subject: [PATCH] [testrun] do not stop the script when the execution of a test
case fails
---
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 640470d2912..044f50399e6 100755
--- a/src/plugins/e-acsl/scripts/testrun.sh
+++ b/src/plugins/e-acsl/scripts/testrun.sh
@@ -100,9 +100,9 @@ run_test() {
# Log outputs of the generated executables
debug "Run and log native execution to $oexeclog.native"
- $oexec 2>&1 > $oexeclog.native
+ $oexec 2>&1 > $oexeclog.native || true
debug "Run and log E-ACSL execution to $oexeclog.e-acsl"
- $oexec.e-acsl 2>&1 > $oexeclog.e-acsl
+ $oexec.e-acsl 2>&1 > $oexeclog.e-acsl || true
## Make sure that instrumented and uninstrumented programs have same outputs
diff $oexeclog.native $oexeclog.e-acsl ||
--
GitLab