testsuite

Run Verona compiler tests via CMake and CTest, update golden files, and verify exit codes.

6|4|Updated Apr 9, 2025

Search Tags:#testing #debugging #compiler #golden files #verona #testsuite

Ready to run

npx skills add https://github.com/sylvanc/verona-bc --skill testsuite

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: testsuite
Source: https://github.com/sylvanc/verona-bc/tree/main/.claude/skills/testsuite
Command: npx skills add https://github.com/sylvanc/verona-bc --skill testsuite

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill provides the infrastructure for running the Verona compiler's test suite, managing golden files, and verifying test completeness and correctness.

Core Features & Use Cases

Test Execution: Run the full Verona test suite or specific tests using ctest.
Golden File Management: Update and regenerate golden files for compilation and runtime tests.
Verification: Check for pass completeness and verify exit codes and error conditions.
Use Case: When a compiler change breaks existing tests, use this Skill to identify the failure, regenerate the expected output, and ensure the fix is correct.

Quick Start

Run all tests in the Verona compiler test suite from the build directory.

Frequently Asked Questions about testsuite

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

FAQPage Schema

How do I run the Verona compiler test suite?▼

You can run the full Verona compiler test suite or target specific tests using the `ctest` command directly from your build directory.

What are golden files in compiler testing and how do I update them?▼

Golden files store expected compilation and runtime test outputs. You can update and regenerate these output artifacts to reflect intentional compiler changes.

How does the Verona test suite verify pass completeness and exit codes?▼

The test suite verifies pass completeness by checking specific error conditions and validating exit codes during test execution via CMake and CTest.

Can I use CMake and CTest to debug failing Verona compiler tests?▼

Yes, CMake and CTest support debugging test failures by allowing you to execute specific tests, identify failures, and verify compiler fixes.

When do I need to regenerate golden files for a compiler test suite?▼

Regenerate golden files when a compiler change intentionally alters existing test output, ensuring the expected output artifacts match the new behavior.