Permalink
Browse files

Passed all linux tests to xenial for uniformity and to avoid problems…

… with cvc4 script requirements
  • Loading branch information...
mikand committed Jan 16, 2019
1 parent 47db81f commit 998643e077249fed77b7f1d46fc98678da205445
Showing with 30 additions and 0 deletions.
  1. +30 −0 .travis.yml
@@ -75,50 +75,80 @@ matrix:

# Linux - Python 2.7
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="all" PYSMT_GMPY="TRUE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="all" PYSMT_GMPY="FALSE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="None" PYSMT_GMPY="FALSE" PYSMT_CYTHON="TRUE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="None" PYSMT_GMPY="FALSE" PYSMT_CYTHON="FALSE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="msat" PYSMT_GMPY="FALSE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="z3" PYSMT_GMPY="FALSE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="cvc4" PYSMT_GMPY="FALSE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="yices" PYSMT_GMPY="FALSE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="bdd" PYSMT_GMPY="FALSE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="picosat" PYSMT_GMPY="FALSE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="msat_wrap" PYSMT_GMPY="FALSE"
- os: linux
sudo: required
dist: xenial
python: 2.7
env: PYSMT_SOLVER="z3_wrap" PYSMT_GMPY="FALSE"

# Linux - PyPy
- os: linux
sudo: required
dist: xenial
python: pypy3.5
env: PYSMT_SOLVER="None" PYSMT_GMPY="FALSE" PYSMT_CYTHON="TRUE"
- os: linux
sudo: required
dist: xenial
python: pypy3.5
env: PYSMT_SOLVER="None" PYSMT_GMPY="FALSE" PYSMT_CYTHON="FALSE"

0 comments on commit 998643e

Please sign in to comment.