Feature #10997
closed
Added by Evgeny Novikov about 3 years ago.
Updated about 3 years ago.
Description
Pavel merged trunk into his branch with support for finding data races. In particular, this means that we will be able to find data races on ARM64. Moreover, some bugs are expected to be fixed soon. Let's update CPALockator after this.
I updated CPALockator in branch CPALockator-update:38751.
- Description updated (diff)
- Status changed from New to Resolved
I updated CPALockator in branch update-cpalockator. This branch is tested right now.
- Status changed from Resolved to Closed
One test failed due to improvement in representation of attributes (declarations). Besides, we again lose several unsafes for another test (it seems that that test should be excluded). I merged the branch to master in ffa2de73b. Everybody can enjoy finding data races with almost recent CPAchecker's trunk in addition.
Also available in: Atom
PDF