From 973e14973ca857ed0b3fd69fa45901c8ae08820e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 15:31:05 +0100
Subject: Fix some issues when evaluating assertions

---
 src/Synthesis.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/Synthesis.ml')

diff --git a/src/Synthesis.ml b/src/Synthesis.ml
index 85834e7a..79fa4065 100644
--- a/src/Synthesis.ml
+++ b/src/Synthesis.ml
@@ -23,6 +23,8 @@ open InterpreterProjectors
  *   `s := op1 + op2`
  * *)
 
+(* TODO: error Panic *)
+
 (** Synthesize code for a symbolic expansion which doesn't lead to branching
     (i.e., applied on a value which is not an enumeration with several variants).
  *)
@@ -66,3 +68,7 @@ let synthesize_function_call (_fid : A.fun_id)
     (_args : V.typed_value list) (_dest : E.place) (_res : V.symbolic_value) :
     unit =
   ()
+
+let synthesize_panic () : unit = ()
+
+let synthesize_assert (v : V.typed_value) : unit = ()
-- 
cgit v1.2.3