Add "ERROR (both branches dead)" verdict for SV-COMP (closes #1576) #9214

Sign in to view logs

Triggered via push September 27, 2024 08:00

sim642

issue-1576

Status Success

Total duration 21s

Artifacts –

options.yml

on: push

Matrix: validate-conf