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

Sign in to view logs

Summary
Jobs
- indentation
Run details
- Usage
- Workflow file

Triggered via push September 27, 2024 08:00

sim642

issue-1576

Status Skipped

Total duration 3s

Artifacts –

indentation.yml

on: push

Matrix: indentation