Skip to content
Back to pull request #1579

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

Sign in to view logs

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

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

Triggered via push September 27, 2024 08:00
@sim642sim642
pushed f1b6157
issue-1576
Status Success
Total duration 50s
Artifacts –

semgrep.yml

on: push
semgrep
38s
semgrep
Fit to window
Zoom out
Zoom in