Project

General

Profile

Actions
Copy link

Feature #7876

open

Distinguish double lock unlock and unlock of unlocked lock

Added by Evgeny Novikov almost 8 years ago. Updated almost 8 years ago.

Status:
New
Priority:
High
Assignee:
-
Category:
Requirement specifications
Target version:
-
Start date:
01/20/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Now these bug kinds are considered as the same for all rule specifications considering correct synchronization primitives usage in one thread, but indeed they differ. Later we will be able to filter out verification results by these bug kinds.

Actions
Copy link

Also available in: Atom PDF