cbmc-viewer
cbmc-viewer copied to clipboard
model-checking
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
*Issue #, if available:* *Description of changes:* Some CBMC solvers like CVC5 can generate a cbmc.xml file containing failed verification results but without the failure trace (or a goto_trace field)....
*Description of changes:* Follows https://importlib-resources.readthedocs.io/en/latest/migration.html to avoid use of `pkg_resources`, which has been deprecated. By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this...
Metadata
Owner
Metadata
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.