DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Update .travis.yml

Browse Source
This commit is contained in:
ggrieco-tob 2019-01-07 09:28:23 -03:00 committed by GitHub
parent a3c4560d28
commit 0ac3c733ba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
.travis.yml
View File

@ -5,7 +5,7 @@ sudo: true
#- "2.7"
install:
- sudo apt-get -y update
- sudo apt-get -y install build-essential gcc-multilib cmake python3 python3-pip python3-setuptools libffi-dev python-nose
- sudo apt-get -y install build-essential gcc-multilib cmake python3 python3-pip python3-setuptools libffi-dev python3-nose
- pip3 install pyflakes --user
- pip3 install angr --user
- pip3 install manticore --user
@ -29,15 +29,15 @@ env:
script:
- pyflakes bin/deepstate/*.py
- pyflakes tests/*.py
- if [ $TASK = ARITHMETIC ]; then nosetests tests/test_arithmetic.py ; fi
- if [ $TASK = CRASH ]; then nosetests tests/test_crash.py ; fi
- if [ $TASK = FIXTURE ]; then nosetests tests/test_fixture.py ; fi
- if [ $TASK = KLEE ]; then nosetests tests/test_klee.py ; fi
- if [ $TASK = LISTS ]; then nosetests tests/test_lists.py ; fi
- if [ $TASK = ONEOF ]; then nosetests tests/test_oneof.py ; fi
- if [ $TASK = RUNLEN ]; then nosetests tests/test_runlen.py ; fi
- if [ $TASK = OVERFLOW ]; then nosetests tests/test_overflow.py ; fi
- if [ $TASK = PRIMES ]; then nosetests tests/test_primes.py ; fi
- if [ $TASK = STREAMINGANDFORMATTING ]; then nosetests tests/test_streamingandformatting.py ; fi
- if [ $TASK = TAKEOVER ]; then nosetests tests/test_takeover.py ; fi
- if [ $TASK = ARITHMETIC ]; then nosetests3 tests/test_arithmetic.py ; fi
- if [ $TASK = CRASH ]; then nosetests3 tests/test_crash.py ; fi
- if [ $TASK = FIXTURE ]; then nosetests3 tests/test_fixture.py ; fi
- if [ $TASK = KLEE ]; then nosetests3 tests/test_klee.py ; fi
- if [ $TASK = LISTS ]; then nosetests3 tests/test_lists.py ; fi
- if [ $TASK = ONEOF ]; then nosetests3 tests/test_oneof.py ; fi
- if [ $TASK = RUNLEN ]; then nosetests3 tests/test_runlen.py ; fi
- if [ $TASK = OVERFLOW ]; then nosetests3 tests/test_overflow.py ; fi
- if [ $TASK = PRIMES ]; then nosetests3 tests/test_primes.py ; fi
- if [ $TASK = STREAMINGANDFORMATTING ]; then nosetests3 tests/test_streamingandformatting.py ; fi
- if [ $TASK = TAKEOVER ]; then nosetests3 tests/test_takeover.py ; fi