forest
forest copied to clipboard
Use property testing to ensure serialize/de-serialize pairs are correct.
Issue summary
Use quickcheck to test that any value can be serialized and then de-serialized without loss of information.
The list of types to be tested:
- [x] BlockHeader
- [x] SyncStage
- [x] SyncState
- [x] ChainExchangeResponseStatus
- [x] BeaconEntry
- [ ] ElectionProof
- [ ] GossipBlock
- [ ] Ticket
- [ ] TipsetKeys
- [ ] Tipset
- [ ] Signature
- [ ] SignatureType
- [x] VRFProof
- [ ]
Encoding/src/checked_serde_bytes.rs
- [ ] Node
- [ ] Root
- [ ] IpldJsonRef
- [ ] KeyInfo
- [ ] Policy
- [ ] NetworkVersion
- [ ] PoStProof
- [ ] Address
- [ ] BigInt
- [ ] Cid
- [ ] GoVecVisitor
- [ ] PeerId
- [ ] MessageReceipt
- [ ] Message
- [ ] SignedMessage
- [ ] ActorState
Other information and links
Blocked by #1880