Fix clippy issues

Alexander-Aghili · Oct 13, 2024 · c3546c0 · c3546c0
1 parent 34f8c80
commit c3546c0
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/kani-driver/src/harness_runner.rs b/kani-driver/src/harness_runner.rs
@@ -7,9 +7,6 @@ use rayon::prelude::*;
 use std::fs::File;
 use std::io::Write;
 use std::path::Path;
-use std::sync::mpsc;
-use std::sync::Arc;
-use std::thread;
 use std::time::Instant;
 
 use crate::args::OutputFormat;