From 2212fa986598a5494b059af40f37b79780924d10 Mon Sep 17 00:00:00 2001 From: JereSalo Date: Tue, 3 Dec 2024 14:59:25 -0300 Subject: [PATCH] add flag levm_only --- cmd/ef_tests/levm/runner/mod.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/cmd/ef_tests/levm/runner/mod.rs b/cmd/ef_tests/levm/runner/mod.rs index 06100838a..348912533 100644 --- a/cmd/ef_tests/levm/runner/mod.rs +++ b/cmd/ef_tests/levm/runner/mod.rs @@ -48,6 +48,8 @@ pub struct EFTestRunnerOptions { pub summary: bool, #[arg(long, value_name = "SKIP", use_value_delimiter = true)] pub skip: Vec, + #[arg(long, value_name = "LEVM_ONLY", default_value = "false")] + pub levm_only: bool, } pub fn run_ef_tests( @@ -61,7 +63,9 @@ pub fn run_ef_tests( if opts.summary { return Ok(()); } - re_run_with_revm(&mut reports, &ef_tests)?; + if !opts.levm_only { + re_run_with_revm(&mut reports, &ef_tests)?; + } write_report(&reports) }