export PATH=/usr/local/miniconda/bin:/usr/local/bin:$PATH
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib
source /cad/modules/tcl/init/bash
module load base
module load incisive
conda create -p ./conda_env -m -y pip numpy python=3.8
export PATH=$PWD/conda_env/bin:$PATH
pip install -r requirements.txt
pip install pytest coveralls
pip install pytest-cov pytest-codestyle pytest-parallel
pysmt-install --check
pip install -e .
./.travis/run.sh
COVERALLS_REPO_TOKEN=aQsOwlsG06RiyWOw9Y8eDztkYCvsYAw4J coveralls
