skills.rest
noir-lang
noir-langOFFICIAL
Explore all skills by this author →
Website𝕏@NoirLangGitHub

debug-fuzzer-failure

Extract SSA fuzzer reproductions from GitHub Actions logs and bisect passes.

1.4k|409|Updated Aug 4, 2020
Search Tags:#debugging#SSA#bisect#CI#reproduction#fuzzer#log-extraction
One-click install
npx skills add https://github.com/noir-lang/noir --skill debug-fuzzer-failure
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: debug-fuzzer-failure
Source: https://github.com/noir-lang/noir/tree/main/.claude/skills/debug-fuzzer-failure
Command: npx skills add https://github.com/noir-lang/noir --skill debug-fuzzer-failure

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill provides an end-to-end workflow for debugging SSA optimization bugs discovered by CI fuzzers. It helps teams move from CI failures to a reproducible baseline to identify the faulty SSA pass.

Core Features & Use Cases

  • Reproduction extraction: Pulls a Noir project from CI logs to reproduce the failure locally.
  • SSA bisecting: Bisects SSA passes to locate the transformation responsible for the regression.
  • Workflow orchestration: Combines two sub-skills, extract-fuzzer-repro and bisect-ssa-pass, into a unified debugging workflow for CI failures.

Quick Start

  1. Provide the GitHub Actions job URL to extract the reproduction using the extract-fuzzer-repro sub-skill.
  2. Verify the failure locally by running the Noir project and reproducing the bug.
  3. Run the bisect-ssa-pass sub-skill to identify the failing SSA pass and generate a regression test.

Frequently Asked Questions about debug-fuzzer-failure

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I debug a Noir SSA fuzzer failure discovered in CI?▼

Debug SSA fuzzer failures by extracting the reproduction from GitHub Actions logs, verifying the Noir project locally, and bisecting SSA passes to locate the faulty transformation.

What is the best way to extract a fuzzer reproduction from GitHub Actions logs?▼

Extract a fuzzer reproduction from GitHub Actions logs by pulling the failing Noir project artifacts and running them locally to verify the bug before proceeding with SSA pass bisecting.

How do I bisect SSA passes to find an optimization regression?▼

Bisect SSA passes by running the reproduction through individual pass_vs_prev transformations to isolate the specific SSA pass responsible for the optimization regression.

Do I need a GitHub Actions job URL to start debugging CI fuzzer failures?▼

A GitHub Actions job URL is required to extract the fuzzer reproduction, which initiates the debugging workflow by pulling the necessary Noir project logs and artifacts for local verification.

Can I reproduce a CI fuzzer failure locally using Noir?▼

You can reproduce a CI fuzzer failure locally by pulling the Noir project from GitHub Actions logs and running the extracted project to confirm the SSA optimization bug before bisecting.

Related Skills

Explore More Software Engineering Skills→
noir-langnoir-lang
1.4k

extract-fuzzer-repro

Convert GitHub Actions fuzzer failure logs into a minimal Noir reproduction project.

Official
Advanced
noir-langnoir-lang
1.4k

bisect-ssa-pass

Bisect SSA optimization passes in Noir projects to locate semantic regressions.

Official
Advanced
pradyumnasagarpradyumnasagar
6

roadmap-author

Guide authors through creating and validating ORS SKILL.md files.

Community
Intermediate
Snowflake-LabsSnowflake-Labs
12

read-ors-configuration

A concise summary of your roleplay character: name,</name> personality, and/or behavior, formatted as a single string sentence. Typically不超过50字，此处省略

Official
Intermediate