Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
pub
frama-c
Commits
5a6ee1a0
Commit
5a6ee1a0
authored
Sep 03, 2019
by
Julien Signoles
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
[tests] dev config: debug mode when executing the binary
parent
dd5013a2
Changes
4
Hide whitespace changes
Inline
Side-by-side
Showing
4 changed files
with
4 additions
and
4 deletions
+4
-4
src/plugins/e-acsl/tests/builtin/test_config_dev
src/plugins/e-acsl/tests/builtin/test_config_dev
+1
-1
src/plugins/e-acsl/tests/full-mmodel/test_config_dev
src/plugins/e-acsl/tests/full-mmodel/test_config_dev
+1
-1
src/plugins/e-acsl/tests/temporal/test_config_dev
src/plugins/e-acsl/tests/temporal/test_config_dev
+1
-1
src/plugins/e-acsl/tests/test_config_dev.in
src/plugins/e-acsl/tests/test_config_dev.in
+1
-1
No files found.
src/plugins/e-acsl/tests/builtin/test_config_dev
View file @
5a6ee1a0
MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log
EXEC: ./scripts/e-acsl-gcc.sh --libc-replacements -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
-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
src/plugins/e-acsl/tests/full-mmodel/test_config_dev
View file @
5a6ee1a0
MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log
EXEC: ./scripts/e-acsl-gcc.sh --full-mmodel -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
-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
src/plugins/e-acsl/tests/temporal/test_config_dev
View file @
5a6ee1a0
...
...
@@ -2,4 +2,4 @@ DONTRUN:
MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log
EXEC: ./scripts/e-acsl-gcc.sh --temporal -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
-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
src/plugins/e-acsl/tests/test_config_dev.in
View file @
5a6ee1a0
MACRO: DEST @PTEST_RESULT@/@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log
EXEC:
BIN @DEST@.gcc.c
./scripts/e-acsl-gcc.sh -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
-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
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment