From ab20f2f3a02fb50477f08ef4eb3e710cf6d86c94 Mon Sep 17 00:00:00 2001 From: Bryan Parno Date: Mon, 11 Nov 2024 22:07:47 -0500 Subject: [PATCH] Add a bit more info to the server --- crates/flycheck/src/lib.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/crates/flycheck/src/lib.rs b/crates/flycheck/src/lib.rs index ad773c87982c..94ebd25e1db0 100644 --- a/crates/flycheck/src/lib.rs +++ b/crates/flycheck/src/lib.rs @@ -349,7 +349,7 @@ impl FlycheckActor { let command = self.run_verus(filename.clone()); let formatted_command = format!("{command:?}"); - tracing::debug!(?command, "will restart flycheck"); + tracing::info!(?command, "will restart flycheck"); let (sender, receiver) = unbounded(); match CommandHandle::spawn(command, sender) { Ok(command_handle) => { @@ -559,6 +559,7 @@ impl FlycheckActor { } }; dbg!(&verus_binary_str); + tracing::info!("Using Verus binary: {}", &verus_binary_str); let verus_exec_path = Path::new(&verus_binary_str) .canonicalize()