Material for the Smart Contract testing workshop - View it on GitHub