diff --git a/src/plugins/e-acsl/tests/wrapper.sh b/src/plugins/e-acsl/tests/wrapper.sh index 938734fdab46eabfe6db60a6c78f3895b86d17b8..451b0ce1f92deb74b8b6822dd163f06cef88f60c 100755 --- a/src/plugins/e-acsl/tests/wrapper.sh +++ b/src/plugins/e-acsl/tests/wrapper.sh @@ -65,7 +65,7 @@ exec_err_log=$result_dir/$test_name.exec_err.log output_log=$result_dir/$output_name # Compile the test file -$BASEDIR/../scripts/e-acsl-gcc.sh -I $framac_exe \ +e-acsl-gcc.sh -I $framac_exe \ -c $opts \ --frama-c-extra="$fc_opts" \ -o $result_dir/$test_name.gcc.c \