Improve SV-COMP conf for no-data-race · goblint/analyzer@6aed24f

Triggered via pull request November 9, 2023 10:33

sim642

synchronize #1207

svcomp24-conf

Status Success

Total duration 30m 9s

Artifacts 1

locked.yml

on: pull_request

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size
suite_result Expired	6.6 MB