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

Do not produce trace links for UNKNOWN status

Open tautschnig opened this issue 1 year ago • 0 comments

Description of changes:

The HTML rendering of property failures should not include (broken) links to counterexample traces the property status of which is "UNKNOWN".

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

tautschnig avatar Sep 24 '24 19:09 tautschnig