diff options
author | Son Ho | 2022-01-06 15:10:41 +0100 |
---|---|---|
committer | Son Ho | 2022-01-06 15:10:41 +0100 |
commit | a263101a71d5be9d3f2a738527c2eedc850eb9ad (patch) | |
tree | f84d86dd4c4cf1f3cee28b00a32ea62ad3b883f9 /src/InterpreterUtils.ml | |
parent | 7f81192171c177b5d2b35c0bd115655c868687ea (diff) |
Make minor modifications
Diffstat (limited to '')
-rw-r--r-- | src/InterpreterUtils.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml index cc54cd24..9f6cf495 100644 --- a/src/InterpreterUtils.ml +++ b/src/InterpreterUtils.ml @@ -26,6 +26,9 @@ let operand_to_string = Print.EvalCtxCfimAst.operand_to_string let statement_to_string ctx = Print.EvalCtxCfimAst.statement_to_string ctx "" " " +let statement_to_string_with_tab ctx = + Print.EvalCtxCfimAst.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 @@ -65,6 +68,10 @@ let mk_typed_value_from_proj_comp (sv : V.symbolic_proj_comp) : V.typed_value = let value = V.Symbolic sv in { V.value; ty } +(** Create a typed value from a symbolic value. + + Initializes the set of ended regions with `empty`. + *) let mk_typed_value_from_symbolic_value (svalue : V.symbolic_value) : V.typed_value = let spc = { V.svalue; rset_ended = T.RegionId.Set.empty } in |