diff --git a/src/plugins/wp/tests/wp_plugin/doomed_dead.i b/src/plugins/wp/tests/wp_plugin/doomed_dead.i
index 5cba4b4ae13d297cf591afaa08431a1c45694e41..8d0d1b2c50fc6f8e06c5e79012073da85f98f6b9 100644
--- a/src/plugins/wp/tests/wp_plugin/doomed_dead.i
+++ b/src/plugins/wp/tests/wp_plugin/doomed_dead.i
@@ -3,8 +3,8 @@
  */
 
 /* run.config_qualif
-   OPT: -wp-smoke-tests
-   OPT: -wp-smoke-tests -wp-split
+   OPT: -wp-smoke-tests -wp-steps 100
+   OPT: -wp-smoke-tests -wp-steps 100 -wp-split
 */
 
 //@ assigns \nothing ;
diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.0.res.oracle b/src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.0.res.oracle
index 0b349526c40d14e9bc6ee38bd5e6574999977b81..882ac924345c75bfbe007ec974f073762e8e6381 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.0.res.oracle
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.0.res.oracle
@@ -1,4 +1,4 @@
-# frama-c -wp [...]
+# frama-c -wp -wp-steps 100 [...]
 [kernel] Parsing tests/wp_plugin/doomed_dead.i (no preprocessing)
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.1.res.oracle b/src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.1.res.oracle
index fd8fae824785bcd829b66d0b40756567adba02b3..f3a71acd41e49cfc63ac7dcd2803443c07296812 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.1.res.oracle
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.1.res.oracle
@@ -1,4 +1,4 @@
-# frama-c -wp -wp-split [...]
+# frama-c -wp -wp-split -wp-steps 100 [...]
 [kernel] Parsing tests/wp_plugin/doomed_dead.i (no preprocessing)
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards