Skip to content

Commit

Permalink
closes #7303 - apply invariant preserve_state setting even when fail_…
Browse files Browse the repository at this point in the history
…on_revert is false
  • Loading branch information
grandizzy committed Mar 4, 2024
1 parent c24933d commit 78cd556
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion crates/evm/evm/src/executors/invariant/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -162,7 +162,7 @@ impl<'a> InvariantExecutor<'a> {
let (sender, (address, calldata)) = inputs.last().expect("no input generated");

// Executes the call from the randomly generated sequence.
let call_result = if self.config.fail_on_revert && self.config.preserve_state {
let call_result = if self.config.preserve_state {
executor
.call_raw_committing(*sender, *address, calldata.clone(), U256::ZERO)
.expect("could not make raw evm call")
Expand Down

0 comments on commit 78cd556

Please sign in to comment.