Skip to content
Snippets Groups Projects
Commit f453a1ed authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] update wp-qualif oracle

parent 1cfad7e5
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/oracle_qualif/stmtcompiler_test.res.oracle
+ 1
− 1
View file @ f453a1ed
# frama-c -wp [...]
[kernel] Parsing tests/wp/stmtcompiler_test.i (no preprocessing)
[kernel] tests/wp/stmtcompiler_test.i:136: Warning:
[kernel:CERT:MSC:37] tests/wp/stmtcompiler_test.i:136: Warning:
Body of function if_assert falls-through. Adding a return statement
[wp] Running WP plugin...
[kernel] tests/wp/stmtcompiler_test.i:145: Warning:
......
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