Project

General

Profile

Actions
Copy link

Feature #10997

closed

Update CPALockator

Added by Evgeny Novikov about 3 years ago. Updated about 3 years ago.

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
Addons
Target version:
3.4
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
Copy link
 #1

Updated by Pavel Andrianov about 3 years ago

I updated CPALockator in branch CPALockator-update:38751.

Actions
Copy link
 #2

Updated by Evgeny Novikov about 3 years ago

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

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

Actions
Copy link
 #3

Updated by Evgeny Novikov about 3 years 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
Copy link

Also available in: Atom PDF