Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
It is now possible to read/write the RNG state in a file.
[simgrid.git] / tools / thread_sanitizer.supp
1 # Thread sanitizer suppressions for stuff that we cannot control
2
3 # Race reported around std::__cxx11::stod / __gnu_cxx::__stoa when the value of
4 # errno is saved and restored
5 race:ext/string_conversions.h
6
7 # False positive seen when simultaneously destroying a CommPtr in s4u-app-masterworkers-parallel
8 # For more information, see
9 # https://stackoverflow.com/questions/24446561/threadsanitizer-reports-data-race-on-operator-deletevoid-when-using-embedde
10 # and more precisely the answer: https://stackoverflow.com/a/49173574
11 race:simgrid::kernel::activity::CommImpl::~CommImpl()