ice: assertion failed: length >= min_length
#2875
Labels
[C] Bug
This is a bug. Something isn't working.
assertion failed: length >= min_length
#2875
I tried this code:
using the following command line invocation:
with Kani version:
I expected to see this happen: explanation
Instead, this happened: explanation
The text was updated successfully, but these errors were encountered: