summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/Interpreter.ml9
1 files changed, 3 insertions, 6 deletions
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