From 1ff4a1b9cd931dc7cf20f7f5619b110a097e3b3a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 9 Feb 2022 10:58:34 +0100
Subject: Update the Makefile so as not to generate and check traces anymore

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

(limited to 'src')

diff --git a/src/main.ml b/src/main.ml
index 19f05a4c..ba677361 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -94,21 +94,21 @@ let () =
 
   (* Set up the logging - for now we use default values - TODO: use the
    * command-line arguments *)
-  Easy_logging.Handlers.set_level main_logger_handler EL.Debug;
-  main_log#set_level EL.Debug;
-  pre_passes_log#set_level EL.Debug;
-  interpreter_log#set_level EL.Debug;
-  statements_log#set_level EL.Debug;
-  paths_log#set_level EL.Debug;
-  expressions_log#set_level EL.Debug;
-  expansion_log#set_level EL.Debug;
-  borrows_log#set_level EL.Debug;
+  Easy_logging.Handlers.set_level main_logger_handler EL.Warning;
+  main_log#set_level EL.Warning;
+  pre_passes_log#set_level EL.Warning;
+  interpreter_log#set_level EL.Warning;
+  statements_log#set_level EL.Warning;
+  paths_log#set_level EL.Warning;
+  expressions_log#set_level EL.Warning;
+  expansion_log#set_level EL.Warning;
+  borrows_log#set_level EL.Warning;
   invariants_log#set_level EL.Warning;
-  pure_utils_log#set_level EL.Debug;
-  symbolic_to_pure_log#set_level EL.Debug;
-  pure_micro_passes_log#set_level EL.Debug;
-  pure_to_extract_log#set_level EL.Debug;
-  translate_log#set_level EL.Debug;
+  pure_utils_log#set_level EL.Warning;
+  symbolic_to_pure_log#set_level EL.Warning;
+  pure_micro_passes_log#set_level EL.Warning;
+  pure_to_extract_log#set_level EL.Warning;
+  translate_log#set_level EL.Warning;
   (* Load the module *)
   let json = Yojson.Basic.from_file filename in
   match cfim_module_of_json json with
-- 
cgit v1.2.3