Project

General

Profile

Actions
Copy link

Feature #9221

open

Add a rule for svcomp tasks generation

Added by Pavel Andrianov over 6 years ago. Updated almost 5 years ago.

Status:
Open
Priority:
High
Assignee:
Pavel Andrianov
Category:
Requirement specifications
Target version:
-
Start date:
08/14/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

I implemented a rule, which replace spinlocks and mutexes with pthread_mutexes. The rule is used for generation sv-comp tasks for concurrency. Tests are also available, but they are based on tests for sync:race. The new rule is implemented in the branch svcomp-rule. It is convenient to have it in master, but the issue is not urgent.

Actions
Copy link

Also available in: Atom PDF