diff options
author | Son Ho | 2022-01-07 11:00:05 +0100 |
---|---|---|
committer | Son Ho | 2022-01-07 11:00:05 +0100 |
commit | dbbb01630190d999d3932fabd8a181b4f826f64f (patch) | |
tree | 0011dda53aaeb88919b3354a9be5b21dca2aa45a /src/InterpreterUtils.ml | |
parent | a310c6036568d8f62e09804c67064686d106afd4 (diff) |
Improve logging and introduce eval_operands_prepare
Diffstat (limited to 'src/InterpreterUtils.ml')
-rw-r--r-- | src/InterpreterUtils.ml | 21 |
1 files changed, 11 insertions, 10 deletions
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 |