sv-dev

What problem does it solve?

This Skill streamlines the development workflow for the Security Verifiers codebase, ensuring code quality, consistency, and efficient testing.

Core Features & Use Cases

• Automated Testing: Run comprehensive test suites for individual environments or the entire project.
• Code Quality Checks: Perform linting and formatting to maintain code standards.
• Development Environment Setup: Simplify the process of setting up the necessary virtual environment and dependencies.
• Use Case: When you've made changes to the network-logs environment, use this Skill to quickly run its tests and ensure no regressions were introduced.

Quick Start

Run all development checks, including linting, formatting, and testing, by executing 'make check'.