From dbbb01630190d999d3932fabd8a181b4f826f64f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 7 Jan 2022 11:00:05 +0100
Subject: Improve logging and introduce eval_operands_prepare

---
 src/InterpreterUtils.ml | 21 +++++++++++----------
 1 file changed, 11 insertions(+), 10 deletions(-)

(limited to 'src/InterpreterUtils.ml')

diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml
index 5f86fec2..6aa3199b 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -8,28 +8,29 @@ module Subst = Substitute
 module A = CfimAst
 open Utils
 open TypesUtils
+module PA = Print.EvalCtxCfimAst
 
 (** Some utilities *)
 
 let eval_ctx_to_string = Print.Contexts.eval_ctx_to_string
 
-let ety_to_string = Print.EvalCtxCfimAst.ety_to_string
+let ety_to_string = PA.ety_to_string
 
-let rty_to_string = Print.EvalCtxCfimAst.rty_to_string
+let rty_to_string = PA.rty_to_string
 
-let typed_value_to_string = Print.EvalCtxCfimAst.typed_value_to_string
+let symbolic_value_to_string = PA.symbolic_value_to_string
 
-let typed_avalue_to_string = Print.EvalCtxCfimAst.typed_avalue_to_string
+let typed_value_to_string = PA.typed_value_to_string
 
-let place_to_string = Print.EvalCtxCfimAst.place_to_string
+let typed_avalue_to_string = PA.typed_avalue_to_string
 
-let operand_to_string = Print.EvalCtxCfimAst.operand_to_string
+let place_to_string = PA.place_to_string
 
-let statement_to_string ctx =
-  Print.EvalCtxCfimAst.statement_to_string ctx "" "  "
+let operand_to_string = PA.operand_to_string
 
-let statement_to_string_with_tab ctx =
-  Print.EvalCtxCfimAst.statement_to_string ctx "  " "  "
+let statement_to_string ctx = PA.statement_to_string ctx "" "  "
+
+let statement_to_string_with_tab ctx = PA.statement_to_string ctx "  " "  "
 
 let same_symbolic_id (sv0 : V.symbolic_value) (sv1 : V.symbolic_value) : bool =
   sv0.V.sv_id = sv1.V.sv_id
-- 
cgit v1.2.3