Feature #10872
closed
Added by Evgeny Novikov almost 3 years ago.
Updated over 2 years ago.
Description
New version of CPALockator contains some improvements and bug fixes, in particular it can help to get more predictable verification results that is crucial for CI.
- Target version changed from 3.2 to 3.3
CI demonstrated numerous changes, so, let's proceed to this update after Pavel will return from his vacation.
- Status changed from New to Closed
After Pavel fixed the minor issue in providing declarations as extra violation witness attributes and I fixed existing preset marks, tests passed. So, I merged the branch to master in 0c5a28b6fe0f. Enjoy the latest CPALockator in Klever!
Also available in: Atom
PDF