[wp] speed up doomed-dead

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 ;

src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.0.res.oracle

-# 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

src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.1.res.oracle

-# 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