From 1903dadff5cdc339e57892adb5173f1d6f15dcaa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Mon, 1 Feb 2021 15:27:33 +0100 Subject: [PATCH] [wp] speed up doomed-dead --- src/plugins/wp/tests/wp_plugin/doomed_dead.i | 4 ++-- .../wp/tests/wp_plugin/oracle_qualif/doomed_dead.0.res.oracle | 2 +- .../wp/tests/wp_plugin/oracle_qualif/doomed_dead.1.res.oracle | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/plugins/wp/tests/wp_plugin/doomed_dead.i b/src/plugins/wp/tests/wp_plugin/doomed_dead.i index 5cba4b4ae13..8d0d1b2c50f 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 0b349526c40..882ac924345 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 fd8fae82478..f3a71acd41e 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 -- GitLab