Improve option name: shrink_sequence

foundry-rs · May 3, 2023 · d4a4546 · d4a4546
1 parent 6d8bf9e
commit d4a4546
Show file tree

Hide file tree

Showing 7 changed files with 11 additions and 11 deletions.
diff --git a/config/README.md b/config/README.md
@@ -187,7 +187,7 @@ call_override = false
 dictionary_weight = 80
 include_storage = true
 include_push_bytes = true
-try_shrinking = true
+shrink_failure = true
 
 [fmt]
 line_length = 100

diff --git a/config/src/invariant.rs b/config/src/invariant.rs
@@ -19,7 +19,7 @@ pub struct InvariantConfig {
     #[serde(flatten)]
     pub dictionary: FuzzDictionaryConfig,
     /// Attempt to shrink the failure case to its smallest sequence of calls
-    pub try_shrinking: bool,
+    pub shrink_sequence: bool,
 }
 
 impl Default for InvariantConfig {
@@ -30,7 +30,7 @@ impl Default for InvariantConfig {
             fail_on_revert: false,
             call_override: false,
             dictionary: FuzzDictionaryConfig { dictionary_weight: 80, ..Default::default() },
-            try_shrinking: true,
+            shrink_sequence: true,
         }
     }
 }
diff --git a/config/src/lib.rs b/config/src/lib.rs
@@ -3374,7 +3374,7 @@ mod tests {
                 depth = 15
                 fail_on_revert = false
                 call_override = false
-                try_shrinking = true
+                shrink_sequence = true
             "#,
             )?;
 

diff --git a/evm/src/fuzz/invariant/error.rs b/evm/src/fuzz/invariant/error.rs
@@ -39,7 +39,7 @@ impl InvariantFuzzError {
         calldata: &[BasicTxDetails],
         call_result: RawCallResult,
         inner_sequence: &[Option<BasicTxDetails>],
-        try_shrinking: bool,
+        shrink_sequence: bool,
     ) -> Self {
         let mut func = None;
         let origin: String;
@@ -80,7 +80,7 @@ impl InvariantFuzzError {
             addr: invariant_contract.address,
             func,
             inner_sequence: inner_sequence.to_vec(),
-            shrink: try_shrinking,
+            shrink: shrink_sequence,
         }
     }
 

diff --git a/evm/src/fuzz/invariant/executor.rs b/evm/src/fuzz/invariant/executor.rs
@@ -187,7 +187,7 @@ impl<'a> InvariantExecutor<'a> {
                         &inputs,
                         &mut failures.borrow_mut(),
                         self.config.fail_on_revert,
-                        self.config.try_shrinking,
+                        self.config.shrink_sequence,
                     );
 
                     if !can_continue {
@@ -559,7 +559,7 @@ fn can_continue(
     calldata: &[BasicTxDetails],
     failures: &mut InvariantFailures,
     fail_on_revert: bool,
-    try_shrinking: bool,
+    shrink_sequence: bool,
 ) -> (bool, Option<BTreeMap<String, RawCallResult>>) {
     let mut call_results = None;
     if !call_result.reverted {
@@ -579,7 +579,7 @@ fn can_continue(
                 calldata,
                 call_result,
                 &[],
-                try_shrinking,
+                shrink_sequence,
             );
 
             failures.revert_reason = Some(error.revert_reason.clone());

diff --git a/forge/tests/it/config.rs b/forge/tests/it/config.rs
@@ -118,7 +118,7 @@ pub static TEST_OPTS: TestOptions = TestOptions {
             max_fuzz_dictionary_addresses: 10_000,
             max_fuzz_dictionary_values: 10_000,
         },
-        try_shrinking: true,
+        shrink_sequence: true,
     },
 };
 

diff --git a/testdata/foundry.toml b/testdata/foundry.toml
@@ -16,7 +16,7 @@ ffi = false
 force = false
 invariant_fail_on_revert = false
 invariant_call_override = false
-invariant_try_shrinking = true
+invariant_shrink_sequence = true
 gas_limit = 9223372036854775807
 gas_price = 0
 gas_reports = ['*']