Skip to content
Snippets Groups Projects
Commit 0813e363 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[wp] rename test from .h to .i to ensure it is executed

parent ab712864
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/bitmask0x8000.res.oracle
+ 1
− 1
View file @ 0813e363
# frama-c -wp [...] # frama-c -wp [...]
[kernel] Parsing tests/wp_plugin/bitmask0x8000.h (with preprocessing) [kernel] Parsing tests/wp_plugin/bitmask0x8000.i (no preprocessing)
[wp] Running WP plugin... [wp] Running WP plugin...
[wp] 2 goals scheduled [wp] 2 goals scheduled
[wp] [Script] Goal typed_lemma_res_n : Valid [wp] [Script] Goal typed_lemma_res_n : Valid
......
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