HB-relationship involving thread creations while mutexes are held · goblint/analyzer@f3ba129

Triggered via pull request February 23, 2026 12:19

dabund24

synchronize #1913

Status Success

Total duration 13m 42s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3.04 MB	`sha256:be206ed8993ed06c02e2d304dcdf37377f9134f6a3afe69b0f83afe2867d2701`
suite_result-ubuntu-latest	3.07 MB	`sha256:fe8bb62456af59161a1396ad5b6daab8f12e6d0806a9f2bd596e47cbb0e8f800`