Guides writing unit tests for the noirc_frontend compiler crate in Rust.
npx skills add https://github.com/noir-lang/noir --skill noir-frontend-tests
Please help me install this Agent Skill. Skill: noir-frontend-tests Source: https://github.com/noir-lang/noir/tree/main/.claude/skills/noir-frontend-tests Command: npx skills add https://github.com/noir-lang/noir --skill noir-frontend-tests
Writing tests for the Noir compiler frontend requires knowing which helper functions to use, how inline error annotations work, and how to avoid common pitfalls like warnings being treated as errors. This Skill provides the conventions and patterns needed to write correct noirc_frontend unit tests.
Write a noirc_frontend regression test for a Noir snippet that should compile without errors, following the skill's patterns and helpers.
High-intent search queries and answers about installing and using this skill.
Add a test under compiler/noirc_frontend/src/tests/ using helpers from tests.rs. Use assert_no_errors(src) for programs that should compile, or check_errors(src) with inline error annotations for programs that should fail.
Use check_errors with inline annotations placed on the line below the erroneous code. Carets (^^^) mark the primary error span and message, while tildes (~~~) mark secondary messages, aligned character-by-character with the code above.
Warnings count as errors because get_program returns warnings like dead code and unused functions in the error list. Mark items pub, add pub to struct fields, or prefix unused variables with an underscore to suppress them.
Combine assert_no_errors with #[should_panic(expected = "Expected no errors")] and a TODO comment linking the GitHub issue. Once the bug is fixed, remove the should_panic attribute so the test passes normally.
No, get_program compiles without the stdlib. Use check_errors_with_stdlib, get_monomorphized_with_stdlib, or set root_and_stdlib: true in GetProgramOptions when tests need stdlib types or traits.
Run cargo nextest run -p noirc_frontend -E 'test(test_name)' to execute a specific test by name within the noirc_frontend package.
noir-langConvert GitHub Actions fuzzer failure logs into a minimal Noir reproduction project.
fasterthanlimeRun Rust tests with cargo nextest for filtering, retries, and profiling.
fnoritomiVerify structural refactoring introduces zero observable behavior changes.
JonathanMitchell1234Generate unit, integration, and end-to-end tests across JavaScript, Python, Go, and Java.
