Skip to content

N
nebula
Switch branch/tag
Find file
BlameHistoryPermalink
  • Inphi's avatar
    ctb: fix more invariant flakes (#9352) · 10c76a2f
    Inphi authored 
    * ctb: fix more invariant flakes

* add invariant docs

* exclude deploy contracts

* remove deployconfig from invariant exclusion list
    10c76a2f
Encoding.md 448 Bytes

Encoding Invariants

convertRoundTripAToB never fails.

Test: Encoding.t.sol#L73

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

convertRoundTripBToA never fails.

Test: Encoding.t.sol#L82

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