Add `miri` to detect undefined behavior.
Open
- Dominant language
- Rust
- Stars
- 1.4k
- Forks
- 567
- Avg merge
- 2d 2h
- Merged PRs (30d)
- 93
Description
[miri](https://github.com/rust-lang/miri) is a tool to help to discover undefined behavior in rust programs. We should add this in ci to ensure no vilation of rust spec.
Contributor guide
Assessment
This issue has not been assessed yet.