rego-fuzzer Skill

Source

• Creator: microsoft
• Repository: microsoft/rego-cpp
• Skill file: .github/skills/rego-fuzzer/SKILL.md

What it does

Pass the rego-cpp Trieste fuzzer for a given pass collection. Use when: verifying that compiler passes are robust to all valid WF inputs, debugging fuzzer failures, fixing generative testing regressions, or validating pass changes against random inputs. The fuzzer generates random ASTs from the Trieste well-formedness

Skill instructions

Passing the Rego Fuzzer Verify that rego-cpp compiler passes are robust to all valid inputs by running the Trieste generative fuzzer. When to Use - After modifying or adding a compiler pass - After changing a well-formedness (WF) definition - After adding new AST node types or rewrite rules - When a CI fuzzer run has failed and you need to reproduce and fix the issue - As a final validation step before merging pass pipeline changes Background The regofuzzer tool uses Trieste's generative testing framework. For each pass in a transform pipeline, it: 1. Reads the input well-formedness definition for that pass 2. Generates random ASTs that are structurally valid according to that WF 3. Runs the pass on each generated AST 4. Checks that the output conforms to the pass's output well-formedness definition This catches edge cases that hand-written tests miss — any structurally valid input the WF permits can be generated. Transforms The fuzzer is parameterized by a transform, which is a named