From aba67b5aa6dd7087969efa734da693ff1412d5df Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Tue, 12 Mar 2019 08:35:58 +0100 Subject: [PATCH] [wp/tests] oracles for test about no-wp property tags --- .../wp/tests/wp_plugin/oracle_qualif/nowp.0.report.json | 1 + src/plugins/wp/tests/wp_plugin/oracle_qualif/nowp.res.oracle | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 src/plugins/wp/tests/wp_plugin/oracle_qualif/nowp.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/nowp.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/nowp.0.report.json new file mode 100644 index 00000000000..19765bd501b --- /dev/null +++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/nowp.0.report.json @@ -0,0 +1 @@ +null diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/nowp.res.oracle b/src/plugins/wp/tests/wp_plugin/oracle_qualif/nowp.res.oracle index a36ba397028..651016e1309 100644 --- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/nowp.res.oracle +++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/nowp.res.oracle @@ -5,5 +5,6 @@ [wp] Warning: Missing RTE guards [wp] 0 goal scheduled [wp] Proved goals: 0 / 0 -[wp] Report 'tests/wp_plugin/nowp.c.0.report.json' +[wp] Report in: 'tests/wp_plugin/oracle_qualif/nowp.0.report.json' +[wp] Report out: 'tests/wp_plugin/result_qualif/nowp.0.report.json' ------------------------------------------------------------- -- GitLab