Skip to content
Snippets Groups Projects
Commit 61ef858e authored by Patrick Baudin's avatar Patrick Baudin Committed by Andre Maroneze
Browse files

[tests] test that does not add missing @PTEST_FILE@

parent b49818ce
No related branches found
No related tags found
No related merge requests found
......@@ -4,13 +4,13 @@
EXECNOW: BIN absorb.sav LOG absorb_sav.res LOG absorb_sav.err @frama-c@ -save @PTEST_RESULT@/absorb.sav @PTEST_FILE@ > @PTEST_RESULT@/absorb_sav.res 2> @PTEST_RESULT@/absorb_sav.err
PLUGIN: @EVA_PLUGINS@
EXECNOW: BIN absorb.sav2 LOG absorb_sav2.res LOG absorb_sav2.err @frama-c@ -load %{dep:@PTEST_RESULT@/absorb.sav} -eva @EVA_CONFIG@ -float-hex -save @PTEST_RESULT@/absorb.sav2 > @PTEST_RESULT@/absorb_sav2.res 2> @PTEST_RESULT@/absorb_sav2.err
COMMENT: CMD: @frama-c@ @PTEST_OPTIONS@
COMMENT: the following CMD redefinition omits adding @PTEST_FILE@ on purpose.
CMD: @frama-c@ @PTEST_OPTIONS@
OPT: -load %{dep:@PTEST_RESULT@/absorb.sav2} -deps -out -input
*/
/* run.config*
DONTRUN:
*/
#include "__fc_builtin.h"
float x = 1.0, y = 0.0, z, t, min_f, min_fl, den;
......
[kernel] Warning: ignoring source files specified on the command line while loading a global initial context.
[from] Computing for function main
[from] Computing for function Frama_C_interval <-main
[from] Done for function Frama_C_interval
......
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