diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh
index 640470d29122e987fe1c4a6302d1fec2a6b869fb..044f50399e673e29a969f1d1c2f7e5db0b62d1f3 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 ||