Exercise: validating data structures with Kani #703

Triggered via pull request December 13, 2024 11:08

listochkin

synchronize #154

kani-linked-list

Status Success

Total duration 4m 34s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size
Artifacts	6.73 MB