Delete any_slice which has been deprecated since Kani 0.38.0.
#5614
| Job | Run time |
|---|---|
| 29m 39s | |
| 20m 14s | |
| 21m 49s | |
| 43m 12s | |
| 3m 13s | |
| 33m 12s | |
| 44m 29s | |
| 3h 15m 48s |