mend

Certora · Jan 9, 2024 · 77ec409 · 77ec409
1 parent 34f8ab3
commit 77ec409
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.rs b/src/main.rs
@@ -485,8 +485,8 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
 fn execute_mutation(params: Vec<MutateParams>) -> Result<(), Box<dyn std::error::Error>> {
     let start = std::time::Instant::now();
     let result = run_mutate(params)?;
-    let total_num_mutants = result.values().flat_map(|x|x).count();
     let t = start.elapsed().as_secs_f64();
+    let total_num_mutants = result.values().flat_map(|x|x).count();
     println!(
         "Generated {} mutants in {:.2} seconds",
         total_num_mutants, t