[Boogie Backend] Add an unbounded array API #5981
Triggered via pull request
December 19, 2023 00:38
Status
Success
Total duration
41m 55s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
10m 54s
benchcomp-tests
3m 25s
perf
30m 12s
bookrunner
16m 44s
Matrix: regression