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

Published 20 hours ago • verified publisher icon model-checking

Distinguish between coverage of source code and proof code

Open feliperodri opened this issue 4 years ago • 0 comments

See https://github.com/awslabs/aws-viewer-for-cbmc/blob/master/cbmc_viewer/coveraget.py.

feliperodri avatar May 23 '21 23:05 feliperodri