hyperlight-dev / hyperlight-dev/hyperlight
Enable `miri` tests on Windows
Open
area/testing
lifecycle/confirmed
- Dominant language
- Rust
- Stars
- 4.7k
- Forks
- 208
- Avg merge
- 1d 7h
- Merged PRs (30d)
- 47
Description
Currently, the `miri` tests only run on Linux because at the time they were enabled, running them on Windows failed locally because of a missing driver (`rustc_driver-.dll`).
Contributor guide
Assessment
This issue has not been assessed yet.