Disable tracing by default

viperproject · Aug 2, 2023 · 2d2aee5 · 2d2aee5
1 parent 5486c19
commit 2d2aee5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prusti-utils/src/config.rs b/prusti-utils/src/config.rs
@@ -86,7 +86,7 @@ lazy_static::lazy_static! {
         settings.set_default("log", "").unwrap();
         settings.set_default("log_style", "auto").unwrap();
         settings.set_default("log_dir", "log").unwrap();
-        settings.set_default("log_tracing", true).unwrap();
+        settings.set_default("log_tracing", false).unwrap();
         settings.set_default("cache_path", "").unwrap();
         settings.set_default("dump_debug_info", false).unwrap();
         settings.set_default("dump_debug_info_during_fold", false).unwrap();