Project

General

Profile

Actions

Feature #10997

closed

Update CPALockator

Added by Evgeny Novikov about 1 year ago. Updated about 1 year ago.

Status:
Closed
Priority:
High
Category:
Addons
Target version:
Start date:
10/29/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

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.

Actions #1

Updated by Pavel Andrianov about 1 year ago

I updated CPALockator in branch CPALockator-update:38751.

Actions #2

Updated by Evgeny Novikov about 1 year ago

  • Description updated (diff)
  • Status changed from New to Resolved

I updated CPALockator in branch update-cpalockator. This branch is tested right now.

Actions #3

Updated by Evgeny Novikov about 1 year ago

  • 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.

Actions

Also available in: Atom PDF