From 61ef858e4d553c4c53ed724002d85e8a2522afa0 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 24 Jan 2022 18:34:58 +0100
Subject: [PATCH] [tests] test that does not add missing @PTEST_FILE@
---
tests/float/absorb.c | 4 ++--
tests/float/oracle/absorb.res.oracle | 1 -
2 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/tests/float/absorb.c b/tests/float/absorb.c
index 731eed760a3..c53452aa696 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 e65974a1604..1b5788d6e98 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
--
GitLab