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

Sign in to view logs

Summary
Jobs
- semgrep
Run details
- Usage
- Workflow file

Triggered via pull request September 27, 2024 08:01

sim642

opened #1579

issue-1576

Status Success

Total duration 40s

Artifacts –

semgrep.yml

on: pull_request