bulloak logo

Bulloak

bulloak is a smart contract test generator based on the Branching Tree Technique (BTT), a structured approach to designing comprehensive test cases for smart contracts.
Distributed

Description

bulloak is a developer tool that automates the generation of comprehensive Solidity test suites based on the Branching Tree Technique (BTT) specifications. It provides a scaffold command to generate test files from .tree specifications, a check command to ensure implementations match their specifications and report missing tests or structural mismatches, support for multiple test trees in a single file, flexible syntax, and automatic fixes for issues like missing functions or incorrect ordering. It is aimed at smart contract developers seeking to improve test coverage and quality, and is installable via cargo.

Grant Funding

VC Funding

OP
None

$21K

$0