fix(invariant): revert check for assert failures on handlers #4980

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