No need for multi_progress

Author: tautschnig

kani-driver/src/harness_runner.rs

@@ -229,9 +229,6 @@ impl KaniSession {
     ) -> Result<VerificationResult> {
         let thread_index = rayon::current_thread_index().unwrap_or_default();
 
-        // Determine if we should suppress console output (when using log file with progress indicator)
-        let suppress_console = self.args.log_file.is_some() && std::io::stdout().is_terminal();
-
         if !self.args.common_args.quiet {
             // If the harness is automatically generated, pretty_name refers to the function under verification.
             let mut msg = if harness.is_automatically_generated {

kani-driver/src/progress_indicator.rs

@@ -2,8 +2,7 @@
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 //! Progress indicator for verification harness execution
 
-use indicatif::{MultiProgress, ProgressBar, ProgressStyle};
-use std::io::IsTerminal;
+use indicatif::{ProgressBar, ProgressStyle};
 use std::sync::Arc;
 use std::sync::atomic::{AtomicUsize, Ordering};
 
@@ -73,8 +72,7 @@ impl ProgressIndicator {
         let stats = VerificationStats::new(total_harnesses);
 
         if show_progress {
-            let multi_progress = MultiProgress::new();
-            let progress_bar = multi_progress.add(ProgressBar::new(total_harnesses as u64));
+            let progress_bar = ProgressBar::new(total_harnesses as u64);
 
             progress_bar.set_style(
                 ProgressStyle::with_template(