diff options
author | Son Ho | 2022-01-26 17:40:56 +0100 |
---|---|---|
committer | Son Ho | 2022-01-26 17:40:56 +0100 |
commit | 781829ec8d4d825e550f36f853eed2c97ddb7a04 (patch) | |
tree | 422063b62a556b3c7676fca32b6642664f90d79d /src/Logging.ml | |
parent | 47b94c9938bccf1ea2b2ec1ff2cc188b6a4765ef (diff) |
Make progress on translation
Diffstat (limited to '')
-rw-r--r-- | src/Logging.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Logging.ml b/src/Logging.ml index 36ede236..23bf672d 100644 --- a/src/Logging.ml +++ b/src/Logging.ml @@ -9,6 +9,12 @@ let main_log = L.get_logger "MainLogger" (** Below, we create subgloggers for various submodules, so that we can precisely toggle logging on/off, depending on which information we need *) +(** Logger for Translate *) +let translate_log = L.get_logger "MainLogger.Translate" + +(** Logger for SymbolicToPure *) +let symbolic_to_pure_log = L.get_logger "MainLogger.SymbolicToPure" + (** Logger for Interpreter *) let interpreter_log = L.get_logger "MainLogger.Interpreter" |