hyperlight-dev / hyperlight-dev/hyperlight

Run tests with MIRI

未关闭
#185 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看
area/security area/testing lifecycle/confirmed
主要语言
Rust
星标
4.7k
派生
208
平均合并
1 天 7 小时
30 天内合并 PR
48

描述

We should run tests using [MIRI](https://github.com/rust-lang/miri) to help catch undefined behaviour.

贡献指南

打开贡献指南

调研方向

Start by reviewing the repository's existing test and CI configuration, then consult the linked MIRI project to determine how this Rust test suite can be run under MIRI. Done means the relevant tests run successfully with MIRI and any undefined behaviour findings are documented or addressed.

由索引模型根据 Issue 内容生成。

评估

技术栈
rust
领域
testing-qa
Issue 类型
功能
难度
4/5
预计耗时
3-5 天
活跃度
停滞
描述清晰度
需要澄清
新手友好度
25/100

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。