Skip to content
Snippets Groups Projects
Commit aba67b5a authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[wp/tests] oracles for test about no-wp property tags

parent 25efb227
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/tests/wp_plugin/oracle_qualif/nowp.0.report.json 0 → 100644
+ 1
− 0
View file @ aba67b5a
null
src/plugins/wp/tests/wp_plugin/oracle_qualif/nowp.res.oracle
+ 2
− 1
View file @ aba67b5a
...@@ -5,5 +5,6 @@ ...@@ -5,5 +5,6 @@
[wp] Warning: Missing RTE guards [wp] Warning: Missing RTE guards
[wp] 0 goal scheduled [wp] 0 goal scheduled
[wp] Proved goals: 0 / 0 [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'
------------------------------------------------------------- -------------------------------------------------------------
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment