Skip to content
Run GOTO Transcoder (ESBMC)

transmute_unchecked contracts and harnesses #13

Sign in to view logs

transmute_unchecked contracts and harnesses

transmute_unchecked contracts and harnesses #13

Triggered via pull request February 4, 2025 07:02
@AlexLB99AlexLB99
synchronize #185
AlexLB99:transmute_unchecked
Status Success
Total duration 11m 31s
Artifacts –

goto-transcoder.yml

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