Exclude multithreaded main-main races by threadflag · goblint/analyzer@30e5ef1

Triggered via pull request October 2, 2024 15:03

sim642

opened #1589

threadflag-access

Status Success

Total duration 4m 57s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size
github-pages Expired	2.06 MB