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

Triggered via push December 13, 2024 15:43

listochkin

main

Status Success

Total duration 4m 30s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
Artifacts	6.73 MB