Skip to content

Commit

Permalink
[Docs] Add requirements of oyente.
Browse files Browse the repository at this point in the history
  • Loading branch information
dm4 committed Aug 27, 2018
1 parent 6b4b5d1 commit 45ea72d
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions docs/oyente-integration.rst
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,11 @@ Oyente Integration

Lity now integrate analysis tool Oyente and generates analysis report after compiling contract if Oyente installed.

Requirements
------------

Install our `lityc <https://github.com/CyberMiles/lity>`_ and `evm <https://github.com/CyberMiles/go-ethereum>`_.

Installation
------------

Expand Down

0 comments on commit 45ea72d

Please sign in to comment.