Run GOTO Transcoder (ESBMC)

Add challenge 23 24 for Vec #146

Sign in to view logs

Triggered via pull request March 14, 2025 15:29

thanhnguyen-aws

synchronize #267

thanhnguyen-aws:vecchallenge

Status Success

Total duration 18m 14s

Artifacts –

goto-transcoder.yml

on: pull_request

Verify contracts with goto-transcoder