Skip to content
Snippets Groups Projects
Commit 0788d815 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[tests] add missing redirection in libc test

parent 20c65ae2
No related branches found
No related tags found
No related merge requests found
/* run.config* /* run.config*
PLUGIN: @EVA_PLUGINS@ metrics PLUGIN: @EVA_PLUGINS@ metrics
EXECNOW: BIN @PTEST_NAME@.sav @frama-c@ -cpp-extra-args='-nostdinc -I@PTEST_SHARE_DIR@/libc' @PTEST_FILE@ -save @PTEST_NAME@.sav EXECNOW: BIN @PTEST_NAME@.sav LOG @PTEST_NAME@_sav.res LOG @PTEST_NAME@_sav.err @frama-c@ -cpp-extra-args='-nostdinc -I@PTEST_SHARE_DIR@/libc' @PTEST_FILE@ -save @PTEST_NAME@.sav >@PTEST_NAME@_sav.res 2>@PTEST_NAME@_sav.err
MODULE: check_libc_naming_conventions, check_const MODULE: check_libc_naming_conventions, check_const
OPT: -load %{dep:@PTEST_NAME@.sav} -print -cpp-extra-args='-nostdinc -I@PTEST_SHARE_DIR@/libc' -eva @EVA_CONFIG@ -then -lib-entry -no-print OPT: -load %{dep:@PTEST_NAME@.sav} -print -cpp-extra-args='-nostdinc -I@PTEST_SHARE_DIR@/libc' -eva @EVA_CONFIG@ -then -lib-entry -no-print
MODULE: MODULE:
......
[kernel] Parsing fc_libc.c (with preprocessing)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment