Run GOTO Transcoder (ESBMC)

VeriFast solution for challenge 19 (RawVec) #860

Sign in to view logs

Triggered via pull request August 13, 2025 18:50

btj

synchronize #422

btj:verifast-raw-vec

Status Success

Total duration 16m 3s

Artifacts –

goto-transcoder.yml

on: pull_request

Verify contracts with goto-transcoder