Skip to content
Run GOTO Transcoder (ESBMC)

transmute_unchecked contracts and harnesses (#185) #17

Sign in to view logs

transmute_unchecked contracts and harnesses (#185)

transmute_unchecked contracts and harnesses (#185) #17

Triggered via push February 4, 2025 22:56
@github-merge-queuegithub-merge-queue[bot]
pushed db8e5a7
main
Status Success
Total duration 11m 19s
Artifacts –

goto-transcoder.yml

on: push
Verify contracts with goto-transcoder
11m 9s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in