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 0000000000000000000000000000000000000000..19765bd501b636fce433540d9e6735f51d66151d --- /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 a36ba39702833588de2342c76fca8306cec40df1..651016e13094bfdd6378aa8e33b201396711fc9a 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' -------------------------------------------------------------