cbmc-viewer icon indicating copy to clipboard operation
cbmc-viewer copied to clipboard

Published 20 hours ago • verified publisher icon model-checking

Allow --property flag to be omitted

Open markrtuttle opened this issue 4 years ago • 1 comments

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 avatar Oct 20 '21 22:10 markrtuttle

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

markrtuttle avatar Dec 07 '21 15:12 markrtuttle