From 6a95d2381146e33a9614ef4454b8ef4e9dcb9c3e Mon Sep 17 00:00:00 2001 From: rvcas Date: Mon, 9 Jan 2023 18:21:40 -0500 Subject: [PATCH] fix: filter on regular iter before par iter cc @kprotty --- crates/aiken-project/src/lib.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/crates/aiken-project/src/lib.rs b/crates/aiken-project/src/lib.rs index 16077e2f..606e540d 100644 --- a/crates/aiken-project/src/lib.rs +++ b/crates/aiken-project/src/lib.rs @@ -703,12 +703,14 @@ where }; scripts - .into_par_iter() + .into_iter() .filter(|script| -> bool { let path = format!("{}{}", script.module, script.name); !matches!(&match_name, Some(search_str) if !path.contains(search_str)) }) + .collect::>() + .into_par_iter() .map(|script| match script.program.eval(initial_budget) { (Ok(result), remaining_budget, logs) => EvalInfo { success: result != Term::Error