From 9002ea263ff55ebf8501c099218eea34e15af0a6 Mon Sep 17 00:00:00 2001 From: rvcas Date: Tue, 10 Jan 2023 10:19:13 -0500 Subject: [PATCH] feat(check): make match tests flag fancier --- crates/aiken-project/src/lib.rs | 59 ++++++++++++++++++++++++----- crates/aiken-project/src/options.rs | 2 +- crates/aiken/src/cmd/check.rs | 2 +- 3 files changed, 52 insertions(+), 11 deletions(-) diff --git a/crates/aiken-project/src/lib.rs b/crates/aiken-project/src/lib.rs index 606e540d..0e56d8a0 100644 --- a/crates/aiken-project/src/lib.rs +++ b/crates/aiken-project/src/lib.rs @@ -152,7 +152,7 @@ where pub fn check( &mut self, skip_tests: bool, - match_tests: Option, + match_tests: Option>, verbose: bool, ) -> Result<(), Error> { let options = Options { @@ -692,7 +692,11 @@ where Ok(programs) } - fn eval_scripts(&self, scripts: Vec