Encoding.md 470 Bytes
Newer Older
1 2
# `Encoding` Invariants

3 4 5 6 7 8 9 10 11 12
## `convertRoundTripAToB` never fails.
**Test:** [`Encoding.t.sol#L76`](../contracts/test/invariants/Encoding.t.sol#L76)

Asserts that a raw versioned nonce can be encoded / decoded to reach the same raw value. 


## `convertRoundTripBToA` never fails.
**Test:** [`Encoding.t.sol#L87`](../contracts/test/invariants/Encoding.t.sol#L87)

Asserts that an encoded versioned nonce can always be decoded / re-encoded to reach the same encoded value.