skills.rest
sylvanc
sylvancCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

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
One-click install
npx skills add https://github.com/sylvanc/verona-bc --skill testsuite
Or copy as Structured Prompt for Agent▼
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.

Related Skills

Explore More Software Engineering Skills→
sylvancsylvanc
6

verona-conventions

Documents official coding, build, and test conventions for the Verona compiler project.

Community
Intermediate
ishkamielishkamiel

run-tests

Run the ishlib test suite with pytest and make verify.

Community
Intermediate
Sanchez-78Sanchez-78

test-isolation-validation

Detect new test failures and state contamination in pytest suites.

Community
Intermediate
krzemienskikrzemienski
2

cli-validation

Validate CLI binaries and capture stdout, stderr, and exit codes.

Community
Intermediate