Add names to mutex-meet-tid components · goblint/analyzer@a322785

Triggered via push December 14, 2023 11:54

sim642

priv-atomic

Status Failure

Total duration 14m 49s

Artifacts 1

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

2 errors

Process completed with exit code 1.

Process completed with exit code 1.

Produced during runtime

Name	Size
suite_result Expired	2 Bytes