hrishioa/oyente repository overview

To run:

1. cd /home/oyente/oyente
2. source /home/oyente/dependencies/venv/bin/activate
3. Blockchain snapshot is downloaded to contract_data. To run the full benchmark, run python batch_run.py
4. To test run the tool, run python oyente.py greeter.sol.