Open
Description
I used the commands below when enabling more tests in Tokio. We can consider adding these commands to README as they could be useful to others as well.
- To run the entire test suite without terminating on unsupported FFI error,
cargo miri nextest run -- no-fail-fast
can be used. - If the unsupported FFI errors occur in docs test, adding
# if cfg!(miri) { return }
will allow Miri to skip the test while still executing it normally withcargo test
.