This enables pthreadMutexType analysis by default which can make some (by default) warnings about mutex misuse more precise.
However, I would not add it to SV-COMP confs because it has no use there right now. Maybe if we submit some tasks about races with recursive mutexes, there might be use.
sv-benchmarks ConcurrencySafety
This has minimal impact on sv-benchmarks, where we don't need to use it anyway:
This enables
pthreadMutexTypeanalysis by default which can make some (by default) warnings about mutex misuse more precise. However, I would not add it to SV-COMP confs because it has no use there right now. Maybe if we submit some tasks about races with recursive mutexes, there might be use.sv-benchmarks ConcurrencySafety
This has minimal impact on sv-benchmarks, where we don't need to use it anyway: