From 39298ca91e80e433a3a0c31df9134be84d44f986 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 5 Oct 2021 11:50:37 +0200
Subject: [PATCH] [Tests] WP adds targets to EXECNOW command
---
src/plugins/wp/diff_annot.0.execnow.txt | 0
src/plugins/wp/tests/wp_region/annot.i | 9 ++++++---
src/plugins/wp/tests/wp_region/oracle/diff_annot.txt | 0
3 files changed, 6 insertions(+), 3 deletions(-)
create mode 100644 src/plugins/wp/diff_annot.0.execnow.txt
create mode 100644 src/plugins/wp/tests/wp_region/oracle/diff_annot.txt
diff --git a/src/plugins/wp/diff_annot.0.execnow.txt b/src/plugins/wp/diff_annot.0.execnow.txt
new file mode 100644
index 00000000000..e69de29bb2d
diff --git a/src/plugins/wp/tests/wp_region/annot.i b/src/plugins/wp/tests/wp_region/annot.i
index 3dbfebbab5d..93dd7b1cd78 100644
--- a/src/plugins/wp/tests/wp_region/annot.i
+++ b/src/plugins/wp/tests/wp_region/annot.i
@@ -1,8 +1,11 @@
/* run.config
+ PLUGIN: wp
OPT: -region-annot -print
- EXECNOW: @frama-c@ -region-annot -print @PTEST_DIR@/@PTEST_NAME@.i -ocode @PTEST_DIR@/@PTEST_NAME@/a.i
- EXECNOW: @frama-c@ -region-annot -print @PTEST_DIR@/@PTEST_NAME@/a.i -ocode @PTEST_DIR@/@PTEST_NAME@/b.i > @DEV_NULL@
- EXECNOW: diff @PTEST_DIR@/@PTEST_NAME@/a.i @PTEST_DIR@/@PTEST_NAME@/b.i > @DEV_NULL@
+ EXECNOW: BIN ocode_@PTEST_NAME@_1.i @frama-c@ @PTEST_DIR@/@PTEST_NAME@.i -region-annot -print -ocode @PTEST_RESULT@/ocode_@PTEST_NAME@_1.i > @DEV_NULL@ 2> @DEV_NULL@
+ EXECNOW: BIN ocode_@PTEST_NAME@_2.i @frama-c@ @PTEST_RESULT@/ocode_@PTEST_NAME@_1.i -region-annot -print -ocode @PTEST_RESULT@/ocode_@PTEST_NAME@_2.i > @DEV_NULL@ 2> @DEV_NULL@
+ EXECNOW: LOG diff_@PTEST_NAME@.txt diff @PTEST_RESULT@/ocode_@PTEST_NAME@_1.i @PTEST_RESULT@/ocode_@PTEST_NAME@_2.i &> @PTEST_RESULT@/diff_@PTEST_NAME@.txt
+COMMENT: The file diff_@PTEST_NAME@.txt must be empty.
+COMMENT: So, that file has not to be present into the oracle directory since absent files are considered such as empty files.
*/
/* run.config_qualif
diff --git a/src/plugins/wp/tests/wp_region/oracle/diff_annot.txt b/src/plugins/wp/tests/wp_region/oracle/diff_annot.txt
new file mode 100644
index 00000000000..e69de29bb2d
--
GitLab