-
Notifications
You must be signed in to change notification settings - Fork 88
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
Error "Reached assignment statement with unequal types Pointer" with Result<(), Error> #729
Labels
Comments
This may be related to #95. |
celinval
added a commit
to celinval/kani-dev
that referenced
this issue
Jan 5, 2022
celinval
added a commit
that referenced
this issue
Jan 6, 2022
celinval
added
[F] Soundness
Kani failed to detect an issue
Status: Mitigated
and removed
Soundness: Medium
labels
Apr 20, 2022
tedinski
pushed a commit
to tedinski/rmc
that referenced
this issue
Apr 22, 2022
Add a fixme testcase that can be used to reproduce the issue model-checking#729.
tedinski
pushed a commit
to tedinski/rmc
that referenced
this issue
Apr 25, 2022
Add a fixme testcase that can be used to reproduce the issue model-checking#729.
tedinski
pushed a commit
to tedinski/rmc
that referenced
this issue
Apr 26, 2022
Add a fixme testcase that can be used to reproduce the issue model-checking#729.
tedinski
pushed a commit
that referenced
this issue
Apr 27, 2022
4 tasks
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
I tried this code:
using the following command line invocation:
with RMC version:
I expected to see this happen: Verification should succeed
Instead, this happened:
The text was updated successfully, but these errors were encountered: