Skip to content
Run GOTO Transcoder (ESBMC)

Remove spurious comments about the need for quantifiers #106

Sign in to view logs

Remove spurious comments about the need for quantifiers

Remove spurious comments about the need for quantifiers #106

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify contracts with goto-transcoder
18m 43s
18m 43s