From 1f071e6581334f43882acff33f8b67be4f457ec1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 18 Jul 2022 17:02:16 +0200
Subject: [PATCH] [Eva] Moves the opening comment of Eva.mli into the
Eva.header file.
---
src/plugins/eva/Eva.header | 17 +++++++++++++++++
src/plugins/eva/gen-api.sh | 17 -----------------
2 files changed, 17 insertions(+), 17 deletions(-)
diff --git a/src/plugins/eva/Eva.header b/src/plugins/eva/Eva.header
index 61ed1ae7e5e..4976cba0a11 100644
--- a/src/plugins/eva/Eva.header
+++ b/src/plugins/eva/Eva.header
@@ -19,3 +19,20 @@
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
+
+(** Eva public API.
+
+ The main modules are:
+ - Analysis: run the analysis.
+ - Results: access analysis results, especially the values of expressions
+ and memory locations of lvalues at each program point.
+
+ The following modules allow configuring the Eva analysis:
+ - Parameters: change the configuration of the analysis.
+ - Eva_annotations: add local annotations to guide the analysis.
+ - Builtins: register ocaml builtins to be used by the cvalue domain
+ instead of analysing the body of some C functions.
+
+ Other modules are for internal use only. *)
+
+(* This file is generated. Do not edit. *)
diff --git a/src/plugins/eva/gen-api.sh b/src/plugins/eva/gen-api.sh
index 8fc55cd2108..2ce5c9b97aa 100755
--- a/src/plugins/eva/gen-api.sh
+++ b/src/plugins/eva/gen-api.sh
@@ -29,23 +29,6 @@ dir=$(dirname $0)
cat $dir/Eva.header >> Eva.mli
-printf '\n(** Eva public API.
-
- The main modules are:
- - Analysis: run the analysis.
- - Results: access analysis results, especially the values of expressions
- and memory locations of lvalues at each program point.
-
- The following modules allow configuring the Eva analysis:
- - Parameters: change the configuration of the analysis.
- - Eva_annotations: add local annotations to guide the analysis.
- - Builtins: register ocaml builtins to be used by the cvalue domain
- instead of analysing the body of some C functions.
-
- Other modules are for internal use only. *)\n' >> Eva.mli
-
-printf '\n(* This file is generated. Do not edit. *)\n' >> Eva.mli
-
for i in "$@"
do
if [[ ! "$i" =~ [.]header$ ]]; then
--
GitLab