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

[wp] Qualif test with empty cache -> unqualified

parent b4b2971e
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
+ 3
− 3
View file @ ae703e69
...@@ -4,8 +4,8 @@ ...@@ -4,8 +4,8 @@
[eva] Computing initial state [eva] Computing initial state
[eva] Initial state computed [eva] Initial state computed
[eva:initial-state] Values of globals at initialization [eva:initial-state] Values of globals at initialization
[eva:alarm] tests/wp_plugin/removed.i:10: Warning: [eva:alarm] tests/wp_plugin/removed.i:10: Warning:
signed overflow. assert 1 + i ≤ 2147483647; signed overflow. assert 1 + i ≤ 2147483647;
[eva] done for function main [eva] done for function main
[eva] ====== VALUES COMPUTED ====== [eva] ====== VALUES COMPUTED ======
...@@ -15,7 +15,7 @@ ...@@ -15,7 +15,7 @@
[wp] Loading driver 'share/wp.driver' [wp] Loading driver 'share/wp.driver'
[wp] Warning: Missing RTE guards [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 : Timeout (unqualified)
[wp] Proved goals: 0 / 1 [wp] Proved goals: 0 / 1
Alt-Ergo: 0 (unsuccess: 1) Alt-Ergo: 0 (unsuccess: 1)
[wp] Running WP plugin... [wp] Running WP plugin...
......
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