2016-09-23 09:21:02 +00:00
|
|
|
language: bash
|
2015-11-04 07:14:43 +00:00
|
|
|
sudo: required
|
2016-09-23 09:21:02 +00:00
|
|
|
dist: trusty
|
2016-09-21 12:25:47 +00:00
|
|
|
env:
|
2016-10-11 09:06:36 +00:00
|
|
|
- PATH=$TRAVIS_BUILD_DIR/bin:$PATH SUITE="all" OPTS="-s"
|
2016-10-10 10:13:59 +00:00
|
|
|
- PATH=$TRAVIS_BUILD_DIR/bin:$PATH SUITE="z3" OPTS="-s -v -f"
|
2016-10-11 09:06:36 +00:00
|
|
|
- PATH=$TRAVIS_BUILD_DIR/bin:$PATH SUITE="qemu" OPTS="-s -f -v"
|
2016-10-10 10:13:59 +00:00
|
|
|
- PATH=$TRAVIS_BUILD_DIR/bin:$PATH SUITE="qira" OPTS="-s -f"
|
|
|
|
|
- PATH=$TRAVIS_BUILD_DIR/bin:$PATH SUITE="afl" OPTS="-s -f"
|
2016-03-11 01:37:56 +00:00
|
|
|
install: (sudo apt-get update || true) && bin/manage-tools -s setup
|
2016-09-23 19:16:16 +00:00
|
|
|
script:
|
2016-10-10 10:13:59 +00:00
|
|
|
- VIRTUALENVWRAPPER_SCRIPT=/usr/share/virtualenvwrapper/virtualenvwrapper.sh manage-tools $OPTS test $SUITE
|
