Add sv-comp CI run #2
Jezurkosvcomp.yml
on: pull_request
Matrix: Build VAST
Matrix: Run SV-Comp test suite
Annotations
1 error
|
Run SV-Comp test suite (17, 22.04, hl)
Process completed with exit code 127.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
VAST
Expired
|
42.5 MB |
|