Feature #10754
closed
Added by Evgeny Novikov about 3 years ago.
Updated almost 3 years ago.
Description
We expect that CPAchecker (SMG) will improve representation of verification results (violation witnesses and code coverage). This will facilitate users especially newcomers. Also, bug fixes and optimizations are always welcome.
- Blocks Feature #10794: Add notes from CPAchecker SMG to code coverage added
- Priority changed from High to Urgent
We will need to update CPAchecker (SMG) to get highly demanded improvements in representation of witnesses and code coverage.
- Assignee changed from Anton Vasilyev to Evgeny Novikov
The branch was merged to branch coverage-notes and then to better-code-coverage. In the latter branch I switched CPAchecker back to branch klever_fixes where Anton moved all changes made in his own repository.
- Status changed from New to Resolved
I updated CPAchecker to klever_fixes:37649 in branch better-code-coverage, so, now CPAchecker provides awesome verification results. Let's see on CI results.
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in d17402872. So, now all users will have a greatly improved representation of violation witness and code coverage when using CPAchecker SMG for checking memory safety.
Also available in: Atom
PDF