From d20aed1e1368ce7b188691aabba7f39ac616ef49 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Thu, 18 Feb 2021 12:14:04 +0100 Subject: [PATCH] [wp] removed stmt-contract --- .../wp/tests/wp_acsl/oracle/generalized_checks.res.oracle | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/plugins/wp/tests/wp_acsl/oracle/generalized_checks.res.oracle b/src/plugins/wp/tests/wp_acsl/oracle/generalized_checks.res.oracle index cb8dc37d91b..65a87c92522 100644 --- a/src/plugins/wp/tests/wp_acsl/oracle/generalized_checks.res.oracle +++ b/src/plugins/wp/tests/wp_acsl/oracle/generalized_checks.res.oracle @@ -1,13 +1,7 @@ # frama-c -wp [...] [kernel] Parsing tests/wp_acsl/generalized_checks.i (no preprocessing) [wp] Running WP plugin... -[wp] tests/wp_acsl/generalized_checks.i:68: Warning: - Unsupported generalized invariant, use loop invariant instead. - Ignored invariant - check invariant \true; [wp] Warning: Missing RTE guards -[wp] tests/wp_acsl/generalized_checks.i:75: Warning: - Missing assigns clause (assigns 'everything' instead) ------------------------------------------------------------ Axiomatic 'Th' ------------------------------------------------------------ -- GitLab