This repository has been archived by the owner on Oct 11, 2024. It is now read-only.
Define verification errors and severities #789
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Define a high level set of output errors for the verification libraries.
Categorize the errors, their severities, and describe what should be done in each case
The text was updated successfully, but these errors were encountered: