Skip to content
Run GOTO Transcoder (ESBMC)

Challenge 16: Verify safety of iterator adapter functions with Kani #1848

Sign in to view logs

Challenge 16: Verify safety of iterator adapter functions with Kani

Challenge 16: Verify safety of iterator adapter functions with Kani #1848

Run time

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