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

[wp] Fix test oracle

parent d20fe2d5
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/removed.res.oracle
+ 1
− 1
View file @ 0af6fcbc
...@@ -11,7 +11,6 @@ ...@@ -11,7 +11,6 @@
[eva:final-states] Values at end of function main: [eva:final-states] Values at end of function main:
__retres ∈ [-2147483647..2147483647] __retres ∈ [-2147483647..2147483647]
[wp] Running WP plugin... [wp] Running WP plugin...
[wp] Warning: Missing RTE guards
[wp] 1 goal scheduled [wp] 1 goal scheduled
[wp] [Alt-Ergo] Goal typed_main_assert_Eva_signed_overflow : Unsuccess [wp] [Alt-Ergo] Goal typed_main_assert_Eva_signed_overflow : Unsuccess
[wp] Proved goals: 0 / 1 [wp] Proved goals: 0 / 1
...@@ -21,5 +20,6 @@ ...@@ -21,5 +20,6 @@
main - - 1 0.0% main - - 1 0.0%
------------------------------------------------------------ ------------------------------------------------------------
[wp] Running WP plugin... [wp] Running WP plugin...
[wp] Warning: Missing RTE guards
[wp] Warning: No goal generated [wp] Warning: No goal generated
------------------------------------------------------------ ------------------------------------------------------------
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