How do I verify if my tests match my tree specification?

The skill provides a specific 'bulloak check' command that compares your .t.sol files against the .tree specification to ensure they remain in sync.

What is the Branching Tree Technique (BTT)?

BTT is a structured approach to designing smart contract tests where you map out every condition (when/given) and expected outcome (it) in a tree format before writing the code.

Can I use this for any Solidity project?

Yes. While this skill includes optimizations for Sablier-specific repos, the core BTT logic and Bulloak commands are applicable to any Ethereum-based smart contract project.

Bulloak is a specialized Solidity test generator that transforms .tree specification files into executable test scaffolds, ensuring your tests match your logic design.

Bulloak BTT Architect

Name: Bulloak BTT Architect
Author: sablier-labs

bysablier-labs

•

Security & Testing

Generates structured Bulloak tree specifications and Solidity test scaffolds using the Branching Tree Technique.

About

This skill empowers developers to design comprehensive smart contract integration tests by utilizing the Branching Tree Technique (BTT). It automates the creation of .tree specification files and scaffolds the corresponding Solidity test contracts, ensuring all logic paths, reverts, and edge cases are systematically covered. By following industry-standard patterns and Sablier-specific conventions, it streamlines the test-driven development (TDD) workflow for Ethereum developers using the Bulloak toolchain.

Key Features

Supports Sablier-specific terminology and integration patterns
Enforces standardized directory structures and naming conventions
Verifies alignment between specifications and generated test code
Automates Solidity test scaffolding via the Bulloak CLI
Generates detailed .tree specification files for complex Solidity functions
5 GitHub stars

Use Cases

Scaffolding standardized Solidity test suites from logical specifications
Designing exhaustive integration tests for DeFi protocol functions
Ensuring 100% coverage of revert conditions and state transitions

About

Key Features

Supports Sablier-specific terminology and integration patterns
Enforces standardized directory structures and naming conventions
Verifies alignment between specifications and generated test code
Automates Solidity test scaffolding via the Bulloak CLI
Generates detailed .tree specification files for complex Solidity functions
5 GitHub stars

Use Cases

Scaffolding standardized Solidity test suites from logical specifications
Designing exhaustive integration tests for DeFi protocol functions
Ensuring 100% coverage of revert conditions and state transitions