From a30234fc7ca8030092ef467211e3d82603fb5ff7 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Fri, 4 Jan 2019 13:00:31 -0700 Subject: [PATCH] fix log level arg --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ff775b1..994854c 100644 --- a/README.md +++ b/README.md @@ -118,7 +118,7 @@ DeepState consists of a static library, used to write test harnesses, and comman ## Log Levels By default, DeepState is not very verbose about testing activity, -other than failing tests. The `--log-level` argument lowers the +other than failing tests. The `--log_level` argument lowers the threshold for output, with 0 = `DEBUG`, 1 = `TRACE` (output from the tests, including `printf`s), and 2 = INFO (DeepState messages, the default), 3 = `WARNING`, 4 = `ERROR`, and 5 = `EXTERNAL` (output from other programs such as