Developer installation

Use virtualenv to install a developer version of Slither (up-to-date with master):

pip3 install virtualenvwrapper
source /usr/local/bin/virtualenvwrapper.sh
mkvirtualenv --python=`which python3` tealer-dev
git clone https://github.com/crytic/tealer
cd tealer
pip install -e ".[dev]"

Start a shell with the Tealer virtual environment by running:

workon tealer-dev

Update Tealer by running git pull from the tealer directory.