hyperlight-dev / hyperlight-dev/hyperlight
Run tests with MIRI
Open
area/security
area/testing
lifecycle/confirmed
- Dominant language
- Rust
- Stars
- 4.7k
- Forks
- 208
- Avg merge
- 1d 7h
- Merged PRs (30d)
- 47
Description
We should run tests using [MIRI](https://github.com/rust-lang/miri) to help catch undefined behaviour.
Contributor guide
Assessment
This issue has not been assessed yet.