Skip to content

Test: Show the first TSan report on failure; the plain-epoch TSan check is a race mutant - #221

Merged
b-re-w merged 1 commit into
developfrom
feat/tp-tsan-diagnose
Oct 17, 2026
Merged

b-re-w merged 1 commit into
developfrom
feat/tp-tsan-diagnose

Conversation

@b-re-w

@b-re-w b-re-w commented Oct 17, 2026

Copy link
Copy Markdown
Member

Two TSan tests failed once on Linux CI (the #212 develop run) and passed on the next (#218):

  • test_threadsanitizer_reports_nothing_on_the_extension: 1 report involving the extension.
  • test_threadsanitizer_sees_a_plain_epoch: 0 reports.

Changes:

  • Diagnosis: the reports-nothing test now puts the first report (up to 4000 characters) into its assertion message. The next time it fails we can tell a real race in generated code from a false positive.
  • Classification: the plain-epoch test proves that TSan can catch a planted race, which depends on that race firing. It is now marked race_mutant (local only), like the two critical-section mutants (Fix: Make the TypedPython develop CI deterministic #211).

Verification: both TSan tests pass locally (3.15.0rc1t, macOS).

@b-re-w
b-re-w merged commit 35647cb into develop Oct 17, 2026
@b-re-w
b-re-w deleted the feat/tp-tsan-diagnose branch October 17, 2026 09:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant