False alarms in race-related SV-COMP tasks
Most tasks in the directories ldv-races
and pthread-driver-races
of SV-Benchmarks now produce false alarms from our concurrency analysis (ThreadingCPA plus BDDCPA). The results can be seen in this table.
We have probably never supported these tasks, the reason why the false alarms occur only now is that previously there was some configuration that lead CPAchecker to abort on these tasks, but this was not correct (cf. r32946 (4a6b8b55) and r32948 (e9c834cc)).