Skip to content
semgrep

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
semgrep
38s
38s