Add "ERROR (both branches dead)" verdict for SV-COMP #9215

Sign in to view logs

Triggered via pull request September 27, 2024 08:01

sim642

opened #1579

issue-1576

Status Success

Total duration 20s

Artifacts –

options.yml

on: pull_request

Matrix: validate-conf