Skip to content
Run GOTO Transcoder (ESBMC)

Move std-analysis.sh script from Kani repository (#261) #105

Sign in to view logs

Move std-analysis.sh script from Kani repository (#261)

Move std-analysis.sh script from Kani repository (#261) #105

Run time

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