diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh
index 8f7bfcac01db12da6be2ebd26f110d4395c66a01..23298becc5864e468a4c9a16d70426e3617d1cf1 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"