https://github.com/PaulRBerg/btt-examples

Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
https://github.com/PaulRBerg/btt-examples

Last synced: about 4 hours ago
JSON representation

Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests

• Host: GitHub
• URL: https://github.com/PaulRBerg/btt-examples
• Owner: PaulRBerg
• License: mit
• Created: 2023-09-28T10:04:22.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2023-11-16T12:59:06.000Z (about 1 year ago)
• Last Synced: 2024-11-17T11:49:20.913Z (3 days ago)
• Language: Solidity
• Size: 19.5 KB
• Stars: 60
• Watchers: 3
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

• awesome-advanced-smart-contracts-testing-and-verification - **PaulRBerg/btt-examples**

README

        
# BTT Examples

A collection of examples for [Branching Tree Technique](https://twitter.com/PaulRBerg/status/1682346315806539776), which

is a simple specification framework for writing structured Solidity tests.

The first step is to define a tree structure in a `.tree` file. Then, use

[Bulloak](https://github.com/alexfertel/bulloak) to scaffold a skeleton Solidity file. Finally, write your tests.

## VSCode

The following VSCode extensions are not essential but they are recommended for a better user experience:

- [Tree](https://marketplace.visualstudio.com/items?itemName=CTC.vscode-tree-extension): syntax highlighting for `.tree`

  files

- [Ascii Tree Generator](https://marketplace.visualstudio.com/items?itemName=aprilandjan.ascii-tree-generator):

  convenient way to generate ASCII trees

## Other Examples

BTT in the wild:

- Sablier [V2 Core](https://github.com/sablier-labs/v2-core)

- Sablier [V2 Periphery](https://github.com/sablier-labs/v2-periphery)

## License

This project is licensed under MIT.