ICE: unequal types TypeDef / StructTag #2241
Labels
[C] Bug
This is a bug. Something isn't working.
[F] Crash
Kani crashed
Z-Kani Compiler
Issues that require some changes to the compiler
I tried this code:
using the following command line invocation:
with Kani version: 0.22.0
I expected to see this happen: explanation
The text was updated successfully, but these errors were encountered: