Consensus-side trace verification work #1763
Description
This is a blanket issue to track the work on trace verification.
Some of the ideas we'd like to focus on are:
- Standalone NvE test case generator
- look at NvE tests
- catalogue the kinds of messages that they produce
- put the NvE generators into a standalone Haskell executalble that produces the test inputs as JSON
- feed the JSON back into the node
- feed the JSON in to the trace-verifier
Metadata
Metadata
Assignees
Type
Projects
Status