bug-confirmation

分类: 开发与编程 | 上传者: specula-org | 下载: 0 | 版本: v1.0（最新）

Bug 确认和重现。在以下情况下使用：(1) 通过模型检查发现错误并且需要代码级验证，(2) 在真实系统中重现错误以确认它不是误报，(3) 评估 TLA+ 反例是否映射到真实的可触发场景。

更新日志: Source: GitHub https://github.com/specula-org/Specula

目录结构

当前层级: tree/main/skills/bug-confirmation/

📄 guide.md 9.5 KB
📄 SKILL.md 380 B

SKILL.md

---
name: bug-confirmation
description: "Bug confirmation and reproduction. Use when: (1) a bug has been found by model checking and needs code-level validation, (2) reproducing a bug in the real system to confirm it is not a false positive, (3) assessing whether a TLA+ counterexample maps to a real triggerable scenario."
---

Read `guide.md` for the full workflow methodology.

登录后下载/点赞/收藏 ❤ 124 | ★ 0

评论 0

最新 | 最热

请先登录后评论。

还没有评论，快来第一个发言吧。