From 9d9884d77c2d4ab82c90353a03fd768b3409a9c7 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 18 Sep 2019 20:30:30 +0200
Subject: [PATCH] [archi] copy the project before visiting
---
src/plugins/e-acsl/src/main.ml | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/src/main.ml b/src/plugins/e-acsl/src/main.ml
index 60999f730df..d638cb7357f 100644
--- a/src/plugins/e-acsl/src/main.ml
+++ b/src/plugins/e-acsl/src/main.ml
@@ -155,9 +155,13 @@ let generate_code =
Project.on prepared_prj
(fun () ->
let dup_prj = Dup_functions.dup () in
+ let cname = Project.get_name dup_prj ^ " (copy)" in
+ let copied_prj =
+ Project.create_by_copy cname ~last:true ~src:dup_prj
+ in
let res =
Project.on
- dup_prj
+ copied_prj
(fun () ->
Gmp_types.init ();
Mmodel_analysis.reset ();
--
GitLab