Separate base privatization with atomic support · goblint/analyzer@f754362

Triggered via push January 11, 2024 14:01

sim642

priv-atomic

Status Failure

Total duration 19m 24s

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	5.88 MB