Delete `any_slice` which has been deprecated since Kani 0.38.0. #5614

Sign in to view logs

Triggered via pull request November 6, 2023 20:16

synchronize #2860

zhassan-aws:delete-any-slice

Status Success

Total duration 44m 40s

Artifacts –

kani.yml

on: pull_request

write-json-symtab-regression

benchcomp-tests

Matrix: regression