Make Offset.Type_of_error string construction lazy · goblint/analyzer@0dd4396

Triggered via push December 14, 2023 10:07

sim642

plain-cil-printer

Status Failure

Total duration 28m 59s

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