Run GOTO Transcoder (ESBMC)

Add harnesses for safety of primitive conversions (#233) #30

Sign in to view logs

Triggered via push February 11, 2025 19:39

github-merge-queue[bot]

gh-readonly-queue/main/pr-233-e2146fa08efabf089bab45eb6eb54926d64d32a9

Status Success

Total duration 14m 39s

Artifacts –

goto-transcoder.yml

on: push

Verify contracts with goto-transcoder