From f2fb0dc39cfa9aef2b16963d3f8a270ec45bae5e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 14:43:35 +0100
Subject: Make good progress on implementing utilities to test symbolic
 execution

---
 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 2d2518c7..b4537c3a 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -46,4 +46,4 @@ let () =
       log#ldebug (lazy ("\n" ^ Print.Module.module_to_string m ^ "\n"));
 
       (* Test the unit functions *)
-      I.Test.test_all_unit_functions m.types m.functions
+      I.Test.test_unit_functions m.types m.functions
-- 
cgit v1.2.3