Commit e8acf7d2 authored by clabby's avatar clabby

Rename `outOfGas` -> `reverted` for clarity

parent 758b43c0
......@@ -17,7 +17,7 @@ contract RelayActor is StdUtils {
uint256 public numHashes;
bytes32[] public hashes;
bool public outOfGas = false;
bool public reverted = false;
OptimismPortal op;
L1CrossDomainMessenger xdm;
......@@ -80,10 +80,10 @@ contract RelayActor is StdUtils {
_message
)
{} catch {
// If any of these calls revert, set `outOfGas` to true to fail the invariant test.
// If any of these calls revert, set `reverted` to true to fail the invariant test.
// NOTE: This is to get around forge's invariant fuzzer ignoring reverted calls
// to this function.
outOfGas = true;
reverted = true;
}
vm.stopPrank();
......@@ -132,6 +132,6 @@ contract XDM_MinGasLimits is Messenger_Initializer, InvariantTest {
// it is not in the received messages mapping
assertFalse(L1Messenger.failedMessages(hash));
}
assertFalse(actor.outOfGas());
assertFalse(actor.reverted());
}
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment