Skip to content

Do not opt-out of data races for CPAchecker

Martin Spiessl requested to merge cpachecker-data-race-no-optout into main

We worked on adding support for this, never intending to opt out of this new category. Perhaps this is why nobody ever noticed the opt-out in the category structure.

Merge request reports