From 73f89c9ccfc3ca99a6d9a237df57fefc2a2f1ea6 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 27 Aug 2020 10:17:12 +0200
Subject: [PATCH] [e-acsl] change the name of the RTL temp project
---
src/plugins/e-acsl/src/main.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/src/main.ml b/src/plugins/e-acsl/src/main.ml
index 5b73604151c..f5d08ec2813 100644
--- a/src/plugins/e-acsl/src/main.ml
+++ b/src/plugins/e-acsl/src/main.ml
@@ -63,7 +63,8 @@ let generate_code =
end;
(* slightly more efficient to copy the project before computing the AST
if it is not yet computed *)
- let rtl_prj = Project.create_by_copy ~last:false "E_ACSL RTL" in
+ let rtl_prj_name = Options.Project_name.get () ^ " RTL" in
+ let rtl_prj = Project.create_by_copy ~last:false rtl_prj_name in
(* TODO: remove [rtl_prj] after use if no debug mode *)
(* force AST computation before copying the project it belongs to *)
Ast.compute ();
--
GitLab