Update CPAchecker (SMG)
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.
Updated by Evgeny Novikov 3 days ago
Temporarily I updated CPAchecker to https://github.com/Druidos/cpachecker/commit/953c051 in branch update-cpachecker. Most likely there will be further updates that in particular will be in the primary SVN repository rather than in the GitHub mirror.