From b6f4a8581634e8a26fac8f2bfe3a41f736a24dfd Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 22 Mar 2016 17:04:39 +0100
Subject: [PATCH] [tests] do not compile the original code
---
src/plugins/e-acsl/scripts/testrun.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh
index 8f7bfcac01d..23298becc58 100755
--- a/src/plugins/e-acsl/scripts/testrun.sh
+++ b/src/plugins/e-acsl/scripts/testrun.sh
@@ -121,7 +121,7 @@ run_test() {
# and the instrumented code
EACSL_GCC="./scripts/e-acsl-gcc.sh \
--compile $TESTFILE --ocode=$ocode --logfile=$logfile \
- --memory-model=$MODEL --oexec=$oexec $extra"
+ --instrumented-only --memory-model=$MODEL --oexec=$oexec $extra"
debug "Run $EACSL_GCC"
$EACSL_GCC || error "Command $EACSL_GCC failed" "$logfile"
--
GitLab