Skip to content
Snippets Groups Projects
Commit 53716f26 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] Fix small oracle post rebase

parent fc06104b
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_acsl/oracle_qualif/classify_float.2.res.oracle
+ 1
− 1
View file @ 53716f26
# frama-c -wp [...] # frama-c -wp -wp-model 'Typed (Real)' [...]
[kernel] Parsing classify_float.c (with preprocessing) [kernel] Parsing classify_float.c (with preprocessing)
[wp] Running WP plugin... [wp] Running WP plugin...
[wp] 3 goals scheduled [wp] 3 goals scheduled
......
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