From 092a2068b2ce1f01eb729a486bd0d7e5c4c0943d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Jan 2022 21:39:07 +0100
Subject: Test the generation of the symbolic AST

---
 src/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main.ml')

diff --git a/src/main.ml b/src/main.ml
index 17821fea..2e1e552e 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -76,5 +76,5 @@ let () =
       I.Test.test_unit_functions config m;
 
       (* Evaluate the symbolic interpreter on the functions *)
-      let synthesize = false in
+      let synthesize = true in
       I.Test.test_functions_symbolic config synthesize m
-- 
cgit v1.2.3