Add sv-comp CI run · trailofbits/vast@4b50d97

Triggered via pull request April 8, 2024 15:22

Jezurko

synchronize #541

svcomp-ci

Status Success

Total duration 1h 31m 48s

Artifacts 2

svcomp.yml

on: pull_request

Matrix: Build VAST

Matrix: Run SV-Comp test suite

Produced during runtime

Name	Size
VAST Expired	42.5 MB
results-hl Expired	124 KB