fix(fuzz): apply inline max-test-rejects config (#8793)

Author: grandizzy

crates/forge/src/lib.rs

@@ -115,6 +115,7 @@ impl TestOptions {
             .unwrap();
         self.fuzzer_with_cases(
             fuzz_config.runs,
+            fuzz_config.max_test_rejects,
             Some(Box::new(FileFailurePersistence::Direct(failure_persist_path.leak()))),
         )
     }
@@ -128,7 +129,7 @@ impl TestOptions {
     /// - `test_fn` is the name of the test function declared inside the test contract.
     pub fn invariant_runner(&self, contract_id: &str, test_fn: &str) -> TestRunner {
         let invariant = self.invariant_config(contract_id, test_fn);
-        self.fuzzer_with_cases(invariant.runs, None)
+        self.fuzzer_with_cases(invariant.runs, invariant.max_assume_rejects, None)
     }
 
     /// Returns a "fuzz" configuration setup. Parameters are used to select tight scoped fuzz
@@ -156,12 +157,13 @@ impl TestOptions {
     pub fn fuzzer_with_cases(
         &self,
         cases: u32,
+        max_global_rejects: u32,
         file_failure_persistence: Option<Box<dyn FailurePersistence>>,
     ) -> TestRunner {
         let config = proptest::test_runner::Config {
             failure_persistence: file_failure_persistence,
             cases,
-            max_global_rejects: self.fuzz.max_test_rejects,
+            max_global_rejects,
             // Disable proptest shrink: for fuzz tests we provide single counterexample,
             // for invariant tests we shrink outside proptest.
             max_shrink_iters: 0,

crates/forge/tests/it/fuzz.rs

@@ -7,7 +7,7 @@ use forge::{
     fuzz::CounterExample,
     result::{SuiteResult, TestStatus},
 };
-use foundry_test_utils::Filter;
+use foundry_test_utils::{forgetest_init, str, Filter};
 use std::collections::BTreeMap;
 
 #[tokio::test(flavor = "multi_thread")]
@@ -176,3 +176,29 @@ async fn test_scrape_bytecode() {
         }
     }
 }
+
+// tests that inline max-test-rejects config is properly applied
+forgetest_init!(test_inline_max_test_rejects, |prj, cmd| {
+    prj.wipe_contracts();
+
+    prj.add_test(
+        "Contract.t.sol",
+        r#"
+import {Test} from "forge-std/Test.sol";
+
+contract InlineMaxRejectsTest is Test {
+    /// forge-config: default.fuzz.max-test-rejects = 1
+    function test_fuzz_bound(uint256 a) public {
+        vm.assume(a == 0);
+    }
+}
+   "#,
+    )
+    .unwrap();
+
+    cmd.args(["test"]).assert_failure().stdout_eq(str![[r#"
+...
+[FAIL. Reason: The `vm.assume` cheatcode rejected too many inputs (1 allowed)] test_fuzz_bound(uint256) (runs: 0, [AVG_GAS])
+...
+"#]]);
+});