-
Python (Version) = 3.7
You can manage python version with pyenv
-
Soufflé (Version) = 1.6.2
You can follow instruction in soufflé website
Or install manually
-
Solc (Version) >= 0.5.7
You can manage solc version with py-solc-x
-
Graphviz
sudo apt-get install graphviz
sh install.sh
or
python -m venv venv
source venv/bin/activate
pip install --upgrade pip
pip install -r requirements.txt
pip install -e .
First of all, make sure you are also using python virtual enviroment if you installed retector in venv
source venv/bin/activate
If you are running for the first time and not using soufflé interpreter, set up LD_LIBRARY_PATH
cd <retector-dir>/reanalysis/libfunctors
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:`pwd`
retector test.sol
retector test.sol -v