# 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::