From 7f81192171c177b5d2b35c0bd115655c868687ea Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 14:51:16 +0100
Subject: Fix minor bugs

---
 src/Interpreter.ml | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'src/Interpreter.ml')

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 6b27b180..523957af 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -173,11 +173,6 @@ module Test = struct
       (lazy
         ("test_symbolic_function: " ^ Print.Types.name_to_string fdef.A.name));
 
-    (* Sanity check - *)
-    assert (List.length fdef.A.signature.region_params = 0);
-    assert (List.length fdef.A.signature.type_params = 0);
-    assert (fdef.A.arg_count = 0);
-
     (* Create the evaluation context *)
     let ctx = initialize_symbolic_context_for_fun type_context fun_defs fdef in
 
@@ -192,7 +187,9 @@ module Test = struct
    *)
   let test_symbolic_functions (type_defs : T.type_def list)
       (fun_defs : A.fun_def list) : unit =
-    let no_loop_funs = List.filter CfimAstUtils.fun_def_has_loops fun_defs in
+    let no_loop_funs =
+      List.filter (fun f -> not (CfimAstUtils.fun_def_has_loops f)) fun_defs
+    in
     let test_fun (def : A.fun_def) : unit =
       let type_ctx = { C.type_defs } in
       let res = test_symbolic_function type_ctx fun_defs def.A.def_id in
-- 
cgit v1.2.3