Analysis of `pthread_barrier`s · goblint/analyzer@f70b193

Triggered via pull request July 4, 2025 06:24

synchronize #1652

issue_1651

Status Success

Total duration 20m 40s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.91 MB	`sha256:c2710d0a1e9764a3c03806de4cdedf60ff6a3b9dc1783a1f1ee1ddaf2da03976`
suite_result-ubuntu-22.04 Expired	2.93 MB	`sha256:654650afd018d5f66b19c42cfc2b441f5a251714a05674b87141e89cbff223e7`