Skip to content
Snippets Groups Projects
Commit b6f4a858 authored by Julien Signoles's avatar Julien Signoles
Browse files

[tests] do not compile the original code

parent a659e439
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/scripts/testrun.sh
+ 1
− 1
View file @ b6f4a858
...@@ -121,7 +121,7 @@ run_test() { ...@@ -121,7 +121,7 @@ run_test() {
# and the instrumented code # and the instrumented code
EACSL_GCC="./scripts/e-acsl-gcc.sh \ EACSL_GCC="./scripts/e-acsl-gcc.sh \
--compile $TESTFILE --ocode=$ocode --logfile=$logfile \ --compile $TESTFILE --ocode=$ocode --logfile=$logfile \
--memory-model=$MODEL --oexec=$oexec $extra" --instrumented-only --memory-model=$MODEL --oexec=$oexec $extra"
debug "Run $EACSL_GCC" debug "Run $EACSL_GCC"
$EACSL_GCC || error "Command $EACSL_GCC failed" "$logfile" $EACSL_GCC || error "Command $EACSL_GCC failed" "$logfile"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment