Commit 9e30240d authored by Julien Signoles's avatar Julien Signoles

[e-acsl:tests] dev_config: specify the correct Frama-C binary

parent 97478e65
MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@ MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log MACRO: ERR @PTEST_NAME@.err.log
EXEC: ./scripts/e-acsl-gcc.sh --libc-replacements -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null EXEC: ./scripts/e-acsl-gcc.sh --libc-replacements -I @frama-c@ -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null
MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@ MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log MACRO: ERR @PTEST_NAME@.err.log
EXEC: ./scripts/e-acsl-gcc.sh --validate-format-strings -q -c -X --frama-c-extra="-verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null EXEC: ./scripts/e-acsl-gcc.sh --validate-format-strings -I @frama-c@ -q -c -X --frama-c-extra="-verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null
MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@ MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log MACRO: ERR @PTEST_NAME@.err.log
EXEC: ./scripts/e-acsl-gcc.sh --full-mmodel -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null EXEC: ./scripts/e-acsl-gcc.sh --full-mmodel -I @frama-c@ -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null
MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@ MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log MACRO: ERR @PTEST_NAME@.err.log
EXEC: ./scripts/e-acsl-gcc.sh --gmp -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null EXEC: ./scripts/e-acsl-gcc.sh --gmp -I @frama-c@ -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null
...@@ -2,4 +2,4 @@ DONTRUN: ...@@ -2,4 +2,4 @@ DONTRUN:
MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@ MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log MACRO: ERR @PTEST_NAME@.err.log
EXEC: ./scripts/e-acsl-gcc.sh --temporal -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null EXEC: ./scripts/e-acsl-gcc.sh --temporal -I @frama-c@ -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null
MACRO: DEST @PTEST_RESULT@/@PTEST_NAME@ MACRO: DEST @PTEST_RESULT@/@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log MACRO: ERR @PTEST_NAME@.err.log
EXEC: ./scripts/e-acsl-gcc.sh -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.gcc.c -O @DEST@ @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null EXEC: ./scripts/e-acsl-gcc.sh -I @frama-c@ -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.gcc.c -O @DEST@ @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null
Markdown is supported
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