Move options from unassume bench to yaml confs · goblint/analyzer@ddecc85

Triggered via push September 7, 2023 13:10

sim642

vmcai24

Status Success

Total duration 36m 56s

Artifacts 1

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size
suite_result Expired	5.84 MB