diff --git a/tests/float/absorb.c b/tests/float/absorb.c index 731eed760a3f2bea7a681824c1e6bca39c6bb22c..c53452aa6966c517b9b960fc3dad049dabec7538 100644 --- a/tests/float/absorb.c +++ b/tests/float/absorb.c @@ -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; diff --git a/tests/float/oracle/absorb.res.oracle b/tests/float/oracle/absorb.res.oracle index e65974a16042b3455328846be038095c5823a861..1b5788d6e983af2f8621e1a5b3818f191b9e2b39 100644 --- a/tests/float/oracle/absorb.res.oracle +++ b/tests/float/oracle/absorb.res.oracle @@ -1,4 +1,3 @@ -[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