Public Repository

Last pushed: a year ago
Short Description
Oyente docker
Full Description

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.
Docker Pull Command
Owner
hrishioa

Comments (0)