From d424a74b490c410cb4090811af2660b340539c61 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 11 Oct 2019 20:22:16 +0200
Subject: [PATCH] [archi] additional comment
---
src/plugins/e-acsl/src/code_generator/injector.ml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/src/code_generator/injector.ml b/src/plugins/e-acsl/src/code_generator/injector.ml
index 07d8803e20e..6b758e9f692 100644
--- a/src/plugins/e-acsl/src/code_generator/injector.ml
+++ b/src/plugins/e-acsl/src/code_generator/injector.ml
@@ -347,7 +347,9 @@ let add_new_block_in_stmt env kf stmt =
"@[new stmt (from sid %d):@ %a@]" stmt.sid Printer.pp_stmt new_stmt;
new_stmt, env
-(* [TODO ARCHI] not sure returning the stmt_kind is useful *)
+(* [TODO ARCHI] not sure returning the stmt_kind is useful;
+ actually probably useful for printf-like functions.
+ TO BE TESTED LATER *)
(* visit the substmts and build the new skind *)
let rec inject_in_substmt env kf stmt = match stmt.skind with
| Instr instr ->
--
GitLab