From acee44d3e1958f685966d7ea181d71ce37b00db8 Mon Sep 17 00:00:00 2001
From: Virgile Robles <virgile.robles@protonmail.ch>
Date: Tue, 7 Apr 2020 13:06:36 +0200
Subject: [PATCH] [rte] Remove call site preconds from help msg
---
src/plugins/rte/options.ml | 3 +--
src/plugins/rte/register.ml | 6 ++----
2 files changed, 3 insertions(+), 6 deletions(-)
diff --git a/src/plugins/rte/options.ml b/src/plugins/rte/options.ml
index d46193ae8e0..e5ad90472cf 100644
--- a/src/plugins/rte/options.ml
+++ b/src/plugins/rte/options.ml
@@ -20,8 +20,7 @@
(* *)
(**************************************************************************)
-let help_msg = "generates annotations for runtime error checking and \
- preconditions at call sites"
+let help_msg = "generates annotations for runtime error checking"
include Plugin.Register
(struct
diff --git a/src/plugins/rte/register.ml b/src/plugins/rte/register.ml
index a3f3df56f04..cb4f763b97e 100644
--- a/src/plugins/rte/register.ml
+++ b/src/plugins/rte/register.ml
@@ -112,8 +112,7 @@ let _ =
~journalize:false
Generator.emitter
-(* retrieve list of generated rte annotations (not precond) for
- a given stmt *)
+(* retrieve list of generated rte annotations for a given stmt *)
let _ignore =
Dynamic.register
~comment:"Get the list of annotations previously emitted by RTE for the \
@@ -149,8 +148,7 @@ let _ignore =
Visit.get_annotations_exp
let main () =
- (* reset "rte generated"/"called precond generated" properties for all
- functions *)
+ (* reset "rte generated" properties for all functions *)
if Options.Enabled.get () then begin
Options.feedback ~level:2 "generating annotations";
!Db.RteGen.compute ();
--
GitLab