Skip to content
docs

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

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) #1775

Run time

Learn about OS pricing on GitHub Actions
Job Run time
api-build (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
4m 11s
api-deploy
0s
4m 11s