Skip to content
Run GOTO Transcoder (ESBMC)

transmute_unchecked contracts and harnesses #11

Sign in to view logs

transmute_unchecked contracts and harnesses

transmute_unchecked contracts and harnesses #11

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

goto-transcoder.yml

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