A more complete example to initialize and explore a smart contract with manticore (#827)
A more complete example to initialize and explore a smart contract with manticore (#827)

* A more complete example to initialize and explore a smart contract with manticore

* Removed outdated comments

montyly/manticore,trailofbits/manticore,trailofbits/manticore,montyly/manticore,trailofbits/manticore