-
Notifications
You must be signed in to change notification settings - Fork 356
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
cargo-miri does not support target wasm32-unknown-unknown #1916
Comments
I think we need to do the same as for windows Lines 708 to 710 in b258eb3
|
Yeah I honestly have no ideas which targets work and which do not, it's kind of a case-by-case thing.^^ This issue is probably similar to #1867. |
I know basically nothing about wasm targets and wouldn't even know what to test, so I marked this as "help-wanted". |
If it is acceptable to add a dependency, Miri could simply include the |
That's not really what Miri is expected to do, though -- it should interpret the code, not run it like normal. Running it in wasmtime will not run all of the extra checks Miri is doing to detect UB. |
Ah, no idea then~! |
This should be fixed by #2685. |
this works very nicely:
cargo +nightly miri test --target mips64-unknown-linux-gnuabi64
howeverwasm32-unknown-unknown
doesn't.The text was updated successfully, but these errors were encountered: