fix(invariant): 🐛 check for assert failures on handlers (foundry-rs#4980

)
exactly · May 19, 2023 · c331b5e · c331b5e
1 parent 584cc99
commit c331b5e
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/evm/src/fuzz/invariant/executor.rs b/evm/src/fuzz/invariant/executor.rs
@@ -561,7 +561,12 @@ fn can_continue(
     shrink_sequence: bool,
 ) -> (bool, Option<BTreeMap<String, RawCallResult>>) {
     let mut call_results = None;
-    if !call_result.reverted {
+    if executor.is_success(
+        invariant_contract.address,
+        call_result.reverted,
+        call_result.state_changeset.clone().unwrap_or_default(),
+        fail_on_revert,
+    ) {
         call_results = assert_invariants(invariant_contract, executor, calldata, failures).ok();
         if call_results.is_none() {
             return (false, None)