Exercise: validating data structures with Kani #701

Triggered via pull request December 13, 2024 02:32

listochkin

synchronize #154

kani-linked-list

Status Success

Total duration 4m 44s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size
Artifacts	6.73 MB