Skip to content
Run GOTO Transcoder (ESBMC)

Challenge 17: Verify slice safety with Kani #1582

Sign in to view logs

Challenge 17: Verify slice safety with Kani

Challenge 17: Verify slice safety with Kani #1582

Run time

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