pyflakes for tests (later deepstate itself)

This commit is contained in:
Alex Groce 2018-07-13 00:35:33 -07:00
parent 4551f0ba47
commit 0116c12d47

View File

@ -4,6 +4,7 @@ sudo: true
python:
- "2.7"
install:
- pip install pyflakes
- sudo apt-get -y update
- sudo apt-get -y install build-essential gcc-multilib cmake python python-setuptools libffi-dev
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then git clone https://github.com/Z3Prover/z3.git; fi
@ -23,4 +24,5 @@ env:
- TASK=ANGR DEEPSTATE_CMD=deepstate-angr
- TASK=MANTICORE DEEPSTATE_CMD=deepstate-manticore
script:
- pyflakes tests/*.py
- nosetests --verbose