Run GOTO Transcoder (ESBMC)

RawVec proof: insert line breaks for readability #867

Sign in to view logs

Triggered via pull request August 15, 2025 21:02

btj

opened #462

btj:verifast-raw-vec

Status Success

Total duration 16m 18s

Artifacts –

goto-transcoder.yml

on: pull_request

Verify contracts with goto-transcoder