BurntSushi/bstr

re-enable miri tests

Open

#164 创建于 2023年7月5日

在 GitHub 查看
 (0 评论) (0 反应) (0 负责人)Rust (73 fork)github user discovery
help wanted

仓库指标

Star
 (1,070 star)
PR 合并指标
 (平均合并 233天) (30 天内合并 9 个 PR)

描述

I ended up needing to disable Miri tests in CI: https://github.com/BurntSushi/bstr/pull/161/commits/e679e293eb5b8fedafed889b9d300f3be7c52565

It looks like Miri gets stuck whenever it enters regex-automata code. I haven't been able to figure out why. regex-automata itself has Miri running on it in CI (hundreds of tests), so I don't know what's going on.

贡献者指南

研究方向
在本地设置项目，运行已禁用的Miri测试并输出详细信息，追踪导致挂起的执行路径。与regex automata仓库的Miri配置进行比较，找出差异。
技术栈
rust
领域
testing
议题类型
测试
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-2 天
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
基本清晰
前置要求
RustMiri
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
40