Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests - View it on GitHub