bug-confirmation

Category: Development & Coding | Uploader: specula-org | Downloads: 0 | Version: v1.0（Latest）

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.

Changelog: Source: GitHub https://github.com/specula-org/Specula

Directory Structure

Current level: 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.

Comments 0

Latest | Hot

Please login before commenting.

No comments yet. Be the first one!

bug-confirmation

Directory Structure

SKILL.md

Report

Notice