Feature #7876
Updated by Evgeny Novikov over 7 years ago
Now these bug kinds are considered as the same for all rule specifications considering correct synchronization primitives usage in one thread, same, but indeed they differ. Later we will be able to filter out verification results by these bug kinds.