Bulloak is a tool for generating Solidity tests from specification files written in a subset of the Markdown syntax, which helps you write more robust and maintainable smart contracts by enforcing a strict separation between the specification and the implementation.