-
Notifications
You must be signed in to change notification settings - Fork 97
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
ICE: Can't apply .member operation to ... #2256
Comments
Still crashing with 0.40 |
Need to add this test and validate that #3644 fixes this issue |
#3644 does not fix this issue--I ran on the most recent of Kani and got (abbreviated for brevity):
The third line of the stack backtrace points here: kani/kani-compiler/src/codegen_cprover_gotoc/codegen/place.rs Lines 476 to 481 in aaf34f3
which #3644 doesn't change. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I tried this code:
using the following command line invocation:
with Kani version: 0.22.0
I expected to see this happen: explanation
Instead, this happened: explanation
The text was updated successfully, but these errors were encountered: