Rename testcases to deduplicate ids. · goblint/analyzer@78d04fa

Triggered via push November 21, 2023 19:43

jerhard

benchmark_sv_comp

Status Failure

Total duration 26m 9s

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.34 MB