From e36de39e62d2120f9e337520ccc3d897b259094f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 5 Jan 2022 10:36:33 +0100
Subject: Implement eval_unary_op_symbolic

---
 src/InterpreterUtils.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/InterpreterUtils.ml')

diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml
index 4633664f..20d4c3af 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -79,6 +79,11 @@ let mk_typed_value_from_proj_comp (sv : V.symbolic_proj_comp) : V.typed_value =
   let value = V.Symbolic sv in
   { V.value; ty }
 
+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
+  mk_typed_value_from_proj_comp spc
+
 let mk_aproj_loans_from_proj_comp (sv : V.symbolic_proj_comp) : V.typed_avalue =
   let ty = sv.V.svalue.V.sv_ty in
   let proj = V.AProjLoans sv.V.svalue in
-- 
cgit v1.2.3