Skip to content

N
nebula
Switch branch/tag
Find file
Normal viewHistoryPermalink
AddressAliasHelper.md 295 Bytes
Newer Older
Ratimon's avatar
Fix linting & invariant docs
6c18d849
 
Ratimon committed
1 2 3 
# `AddressAliasHelper` Invariants

## Address aliases are always able to be undone.
Mark Tyneway's avatar
invariant-docs: fixup + gas snapshot
8fd01278
 
Mark Tyneway committed
4 
**Test:** [`AddressAliasHelper.t.sol#L46`](../test/invariants/AddressAliasHelper.t.sol#L46)
Ratimon's avatar
Fix linting & invariant docs
6c18d849
 
Ratimon committed
5
Andreas Bigger's avatar
Port all remaining test files to triple slash natspec styling.
a0ff1cc9
 
Andreas Bigger committed
6 
Asserts that an address that has been aliased with `applyL1ToL2Alias` can always be unaliased with `undoL1ToL2Alias`.