keep debug logs in releases (model-checking#1049)

tedinski · Apr 15, 2022 · be4049b · be4049b
1 parent 0886c32
commit be4049b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/kani-compiler/Cargo.toml b/src/kani-compiler/Cargo.toml
@@ -24,7 +24,7 @@ serde_json = { version = "1", optional = true }
 shell-words = "1.0.0"
 smallvec = { version = "1.6.1", features = ["union", "may_dangle"], optional = true }
 snap = { version = "1", optional = true }
-tracing = {version = "0.1", features = ["max_level_trace", "release_max_level_info"]}
+tracing = {version = "0.1", features = ["max_level_trace", "release_max_level_debug"]}
 tracing-subscriber = {version = "0.3.8", features = ["env-filter", "json", "fmt"]}
 tracing-tree = "0.2.0"