trevon/fold
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
372 commits 2 branches 0 tags 7.4 MiB
Commit graph

1 commit

Author SHA1 Message Date
trvon
62d6bfe6ee
 		Fix TSAN: suppress Z3 internal threading false positives 
- 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
 2026-05-15 08:42:45 -04:00