62d6bfe6ee
- Add .tsan-suppress for libz3.so, spdlog, glibc - Remove halt_on_error=1 in TSAN workflow - Z3 4.8 on Ubuntu has internal mutex patterns TSAN flags
13 lines
409 B
Text
13 lines
409 B
Text
# TSAN suppressions for fold CI.
|
|
# Z3 (system library) has internal threading that TSAN flags as false positives
|
|
# when fold is compiled with TSan but Z3 is from the system package.
|
|
|
|
# Z3 internal mutex unlock ordering (libz3 on Ubuntu)
|
|
race:libz3.so
|
|
|
|
# System-level threading in glibc/Linux
|
|
race:__pthread_mutex_unlock
|
|
|
|
# spdlog internal threading (third-party, not our code)
|
|
race:spdlog::details
|
|
race:fmt::
|