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 rego_fuzzer tool uses Trieste's generative testing framework. For each pass in a transform pipeline, it: