Run GOTO Transcoder (ESBMC)

Add a tour of the RawVec proof #1050

Sign in to view logs

Triggered via pull request October 21, 2025 09:32

btj

synchronize #481

btj:rawvec-tour

Status Success

Total duration 18m 54s

Artifacts –

goto-transcoder.yml

on: pull_request

Verify contracts with goto-transcoder