-
Notifications
You must be signed in to change notification settings - Fork 112
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
Set up testing with miri #55
Comments
This log:
looks like you are byte-wise copying a pointer. Miri doesn't currently support that. We certainly want to (there are, somewhat surprisingly, some hard questions around this, but at least for now Miri is not intended to explore those). The most immediate blocker is rust-lang/miri#841. |
Fixed on main + current nightly |
With #168 merged, the CI now runs miri tests with all features. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Copying the miri CI script from the
typed-arena
crate:miri CI script
Still waiting on the full test suite to finish running, this is taking quite a bit longer than I'd anticipated.
However, the
realloc
tests are definitely failing, and I'm not sure I totally understand what miri is complaining about here. cc @RalfJungrealloc failure logs
The text was updated successfully, but these errors were encountered: