Expand description
Hosts error definitions for the core crate.
Structs§
- Chip
Name - Names the chip of an M4 system that a diagnostic is about:
chip #3, orthe main chip.
Enums§
- Constraint
System Error - Constraint system related error.
- Constraint
Violation - The arithmetic by which a single constraint fails on a value vector.
- Operand
Fault - The way one term of an operand is malformed, said without naming where the operand sits.
- Verification
Error - Reason a value vector fails to satisfy a constraint system.
- Verification
M4Error - Reason a witness fails to satisfy an M4 constraint system.