From 9a6bc2506008d188252bc6e0f45b6cc9f736193c Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 22 Nov 2018 10:40:50 +0100
Subject: [PATCH] [e-acsl-gcc] -rte-precond does not exist anymore
---
src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 71cbb9b1ee6..8406aeaf9ab 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -135,7 +135,7 @@ rte_options() {
# explicitly specified
# Option supported by RTE but unsupported in E-ACSL, should
# always be negated
- local rte_options_unsupported="precond"
+ local rte_options_unsupported=""
local rte_options_explicit="trivial-annotations"
local generated="-rte" # Generated Frama-C options
--
GitLab