Source code
Revision control
Copy as Markdown
Other Tools
#!/bin/sh
cargo +nightly miri test && \
cargo +nightly miri test --features test_local && \
cd async && \
cargo +nightly miri test && \
cd ../blocking && \
cargo +nightly miri test && \
echo "Done!"