diff options
author | Sidney Congard | 2022-06-21 11:41:09 +0200 |
---|---|---|
committer | Sidney Congard | 2022-06-21 11:41:09 +0200 |
commit | 7703c4ca86a390303d0a120f8811c8fd704c5168 (patch) | |
tree | 399145f7c842d9f59216e17b6e43964b2c4dfaa6 /src/main.ml | |
parent | 414769e0c9a1d370d3ab906b710e2e8adfe25e5e (diff) |
concrete & symbolic evaluation work with new LLBC format
Diffstat (limited to 'src/main.ml')
-rw-r--r-- | src/main.ml | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/src/main.ml b/src/main.ml index 6b1083f5..93b094fd 100644 --- a/src/main.ml +++ b/src/main.ml @@ -124,21 +124,21 @@ let () = * command-line arguments *) (* By setting a level for the main_logger_handler, we filter everything *) Easy_logging.Handlers.set_level main_logger_handler EL.Debug; - main_log#set_level EL.Info; - llbc_of_json_logger#set_level EL.Info; - pre_passes_log#set_level EL.Info; - interpreter_log#set_level EL.Info; - statements_log#set_level EL.Info; - paths_log#set_level EL.Info; - expressions_log#set_level EL.Info; - expansion_log#set_level EL.Info; - borrows_log#set_level EL.Info; - invariants_log#set_level EL.Info; - pure_utils_log#set_level EL.Info; - symbolic_to_pure_log#set_level EL.Info; - pure_micro_passes_log#set_level EL.Info; - pure_to_extract_log#set_level EL.Info; - translate_log#set_level EL.Info; + main_log#set_level EL.Debug; + llbc_of_json_logger#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; + invariants_log#set_level EL.Debug; + 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; (* Load the module *) let json = Yojson.Basic.from_file filename in match llbc_module_of_json json with |