UNPKG

@hyperlane-xyz/core

Version:

Core solidity contracts for Hyperlane

www.hyperlane.xyz

hyperlane-xyz/hyperlane-monorepo

25 lines (13 loc) • 903 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
# `Encoding` Invariants ## `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. ## `testRoundTripAToB` never fails. **Test:** [`FuzzEncoding.sol#L56`](../contracts/echidna/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`](../contracts/echidna/FuzzEncoding.sol#L67) Asserts that an encoded versioned nonce can always be decoded / re-encoded to reach the same encoded value.