debug-fuzzer-failure

This skill provides the complete workflow for debugging SSA optimization bugs discovered by CI fuzzers. It combines two sub-skills:

Note: This workflow is tailored for passvsprev failures, which detect SSA passes that break semantic preservation. Other fuzzers exist that test different properties and may require different debugging approaches. Identify the fuzzer type from the failing test name in the GitHub logs — it follows the format targets:: ::tests::fuzzwitharbtest. If the failure comes from a fuzzer other than passvsprev, ask the develo...

Use the extract-fuzzer-repro skill to get a local Noir project from the CI logs.

CI から SSA ファザー障害をデバッグするためのエンドツーエンドのワークフロー。 GitHub Actions ログから再現ケースを抽出し、SSA パスを二分してバグを特定します。 CI で「pass_vs_prev」または同様のファザー テストが失敗した場合に使用します。 ソース: noir-lang/noir。