Skip to content

Latest commit

 

History

History
12 lines (7 loc) · 456 Bytes

File metadata and controls

12 lines (7 loc) · 456 Bytes

Encoding Invariants

testRoundTripAToB never fails.

Test: FuzzEncoding.sol#L56

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

testRoundTripBToA never fails.

Test: FuzzEncoding.sol#L67

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