`kani::any()` can generate arrays #704

Triggered via push December 13, 2024 15:27

listochkin

kani-linked-list

Status Success

Total duration 4m 27s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
Artifacts	6.74 MB