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

Allow --property flag to be omitted #61

Open markrtuttle opened 2 years ago

markrtuttle commented 2 years ago

Currently, when the --property flag is omitted, the errors are reported as "other errors" without line numbers or traces. All that is missing is the property description from the --property flag. The output should be as usual for normal errors, just omitting the property description.

markrtuttle commented 2 years ago

The property-missing branch of the frok https://github.com/markrtuttle/aws-viewer-for-cbmc contains a preliminary implementation.