search

model-checking / cbmc-viewer

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.
https://model-checking.github.io/cbmc-viewer/
Apache License 2.0
32 stars 11 forks source link

Construct reports without coverage checking or property checking #59

Closed markrtuttle closed 2 years ago

markrtuttle commented 2 years ago

This pull request enables report generation even when property checking or coverage checking results are missing. This also does some code clean up (function renaming) and cleans up error reporting when invoked with incorrect (missing) flags.

This pull request should be reviewed commit-by-commit. Review file-by-file will mix too much stuff together and be too confusing.

This should resolve https://github.com/model-checking/rmc/issues/410.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.