Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

处理工具链 #20

Open
zjp-CN opened this issue Dec 16, 2024 · 0 comments
Open

处理工具链 #20

zjp-CN opened this issue Dec 16, 2024 · 0 comments

Comments

@zjp-CN
Copy link
Member

zjp-CN commented Dec 16, 2024

os-checker CLI 优先使用仓库设置的工具链,理由是库依赖于当时固定的工具链,如果使用最新的工具链,会造成功能损坏,甚至功能不再被支持。

测试和 miri 也需要吗?

截图_20241216092824

如果固定工具链的理由成立,测试和 miri 也应该优先使用仓库工具链。这存在一些问题:

  • 仓库工具链未安装 miri,那么需要检测、安装、设置 miri;
  • 应在尽可能新的工具链上使用 miri,因为 miri 需要一直修复(旧工具链中的 miri 报告的结果可能与新工具链报告的结果截然不同),而且 miri 随 Rust 语义的发展而演进 —— 这意味着 miri 的检查结果具有时效性。
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant