From 103edd16f48f7c7c05d95fdaf5e19f142668f63e Mon Sep 17 00:00:00 2001 From: Ary Borenszweig Date: Wed, 11 Dec 2024 17:22:49 -0300 Subject: [PATCH 1/2] fix: disable failure persistance in nargo test fuzzing --- tooling/nargo/src/ops/test.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tooling/nargo/src/ops/test.rs b/tooling/nargo/src/ops/test.rs index e258627b522..cbfd0d778d8 100644 --- a/tooling/nargo/src/ops/test.rs +++ b/tooling/nargo/src/ops/test.rs @@ -13,6 +13,7 @@ use noirc_driver::{compile_no_check, CompileError, CompileOptions}; use noirc_errors::{debug_info::DebugInfo, FileDiagnostic}; use noirc_frontend::hir::{def_map::TestFunction, Context}; use noirc_printable_type::ForeignCallError; +use proptest::test_runner::Config; use rand::Rng; use serde::{Deserialize, Serialize}; @@ -114,7 +115,9 @@ pub fn run_test>( use acvm::acir::circuit::Program; use noir_fuzzer::FuzzedExecutor; use proptest::test_runner::TestRunner; - let runner = TestRunner::default(); + + let runner = + TestRunner::new(Config { failure_persistence: None, ..Config::default() }); let executor = |program: &Program, From 689c003e899fed1730fa6ff9b15db90d8ae1a37f Mon Sep 17 00:00:00 2001 From: Ary Borenszweig Date: Wed, 11 Dec 2024 17:45:04 -0300 Subject: [PATCH 2/2] Fix use --- tooling/nargo/src/ops/test.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tooling/nargo/src/ops/test.rs b/tooling/nargo/src/ops/test.rs index cbfd0d778d8..ff67111fa57 100644 --- a/tooling/nargo/src/ops/test.rs +++ b/tooling/nargo/src/ops/test.rs @@ -13,7 +13,6 @@ use noirc_driver::{compile_no_check, CompileError, CompileOptions}; use noirc_errors::{debug_info::DebugInfo, FileDiagnostic}; use noirc_frontend::hir::{def_map::TestFunction, Context}; use noirc_printable_type::ForeignCallError; -use proptest::test_runner::Config; use rand::Rng; use serde::{Deserialize, Serialize}; @@ -114,6 +113,7 @@ pub fn run_test>( { use acvm::acir::circuit::Program; use noir_fuzzer::FuzzedExecutor; + use proptest::test_runner::Config; use proptest::test_runner::TestRunner; let runner =