From b1105c75ea54f38155ca86c62711082ce0bc325d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Jan 2022 23:20:54 +0100
Subject: Fix various issues

---
 src/main.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/main.ml')

diff --git a/src/main.ml b/src/main.ml
index 2e1e552e..e803c49c 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -55,7 +55,7 @@ let () =
   expressions_log#set_level EL.Debug;
   expansion_log#set_level EL.Debug;
   borrows_log#set_level EL.Debug;
-  invariants_log#set_level EL.Warning;
+  invariants_log#set_level EL.Debug;
   (* Load the module *)
   let json = Yojson.Basic.from_file !filename in
   match cfim_module_of_json json with
@@ -68,7 +68,7 @@ let () =
       let config =
         {
           C.check_invariants = true;
-          greedy_expand_symbolics_with_borrows = false;
+          greedy_expand_symbolics_with_borrows = true;
         }
       in
 
-- 
cgit v1.2.3