Expand description
Stategies for verifying the correctness of the VM execution.
The default strategy, Normal, simply returns an error on failed verification.
Alternative strategy, AttemptContinue, continues execution and collects multiple
errors.
Structs§
- Attempt
Continue - With some subset of errors it’s possible to continue execution, allowing the collection of multiple errors during a single run.
- Normal
- The default verification strategy. Performs the standard verification checks and panics on failure.
Traits§
- Verifier
- What to do when verification fails.