Skip to content
Run GOTO Transcoder (ESBMC)

VeriFast solution for Challenge 5 (linked_list.rs) #10

Sign in to view logs

VeriFast solution for Challenge 5 (linked_list.rs)

VeriFast solution for Challenge 5 (linked_list.rs) #10

Triggered via pull request February 1, 2025 08:45
@btjbtj
synchronize #238
btj:verifast-linked-list
Status Success
Total duration 11m 8s
Artifacts –

goto-transcoder.yml

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