Skills
.Work. You
Rest

testsuite

Community

Verona compiler test suite

Software Engineering#testing#debugging#compiler#golden files#verona#testsuite
Authorsylvanc
Version1.0.0
Installs0

System Documentation

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.

Dependency Matrix

Required Modules

None required

Components

references

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: testsuite
Download link: https://github.com/sylvanc/verona-bc/archive/main.zip#testsuite

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.