From 4f76d084c77e5a7e49b344a9cf63b9551d04a513 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Tue, 12 May 2020 18:23:44 +0200
Subject: [PATCH] [eacsl] Add `Functions.RTL.is_generated_name` to the
interface
---
src/plugins/e-acsl/E_ACSL.mli | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/src/plugins/e-acsl/E_ACSL.mli b/src/plugins/e-acsl/E_ACSL.mli
index 15aeb15a7e1..f6304d722fd 100644
--- a/src/plugins/e-acsl/E_ACSL.mli
+++ b/src/plugins/e-acsl/E_ACSL.mli
@@ -39,6 +39,14 @@ module Translate: sig
a single expression. *)
end
+module Functions: sig
+ module RTL: sig
+ val is_generated_name: string -> bool
+ (** @return [true] if the prefix of the given name indicates that it has been
+ generated by E-ACSL instrumentation (see [mk_gen_name] function). *)
+ end
+end
+
(** No function is directly exported: they are dynamically registered. *)
(*
--
GitLab