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.
32
stars
11
forks
source link
Fold away sequences of steps that all point to the same source location. #44
Open
vecchiot-aws opened 3 years ago