An example of generated Unit Tests that highlight smart contract vulnerabilities. Run using tuffle. > truffle develop > truffle test