Verbosity flag update

sillydan1 · Dec 10, 2020 · c6ef1cf · c6ef1cf
1 parent 155bb1f
commit c6ef1cf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/cli/CLIConfig.cpp b/src/cli/CLIConfig.cpp
@@ -32,7 +32,7 @@ CLIConfig::CLIConfig() {
                  "[DIR]/[FILENAME] File with queries to be verified. This flag is required for verification"} },
             { option_requirement::OPTIONAL,
               {"verbosity",'v', argument_requirement::REQUIRE_ARG,
-                 "[0-6] The level of verbosity. Default is 2"} },
+                 "[0-6] The level of verbosity. (0: OFF | 1: CRITICAL | 2: ERROR | 3: WARN | 4: INFO | 5: DEBUG | 6: TRACE). Default is 2"} },
             { option_requirement::OPTIONAL,
                     {"nondeterminism-strategy", 'n', argument_requirement::REQUIRE_ARG,
                             "[0-3] Determines which edge to pick when encountering nondeterministic choice. Default is 0 (0: PANIC | 1: PICK_FIRST | 2: PICK_LAST | 3: PICK_RANDOM)"} },

diff --git a/src/cli/main.cpp b/src/cli/main.cpp
@@ -34,7 +34,7 @@ int main(int argc, char** argv) {
         return config.GetStatusCode();
     }
     if(config["verbosity"])
-        spdlog::set_level(static_cast<spdlog::level::level_enum>(5-config["verbosity"].as_integer()));
+        spdlog::set_level(static_cast<spdlog::level::level_enum>(6-config["verbosity"].as_integer()));
     else
         spdlog::set_level(spdlog::level::level_enum::warn);