<commit_before>cache: true
language: python
build_image: shippableimages/ubuntu1404_python
python:
  # - 2.6
  - 2.7
  # - 3.2
  # - 3.3
  # - 3.4
  # - pypy


install:
  - pip install nose
  - pip install coverage
  - source shippable.sh $PYSMT_SOLVER


# Multiple envs will cause multiple build across multiple python versions.
# We test the following:
# 1. PySMT w/o solvers
# 2. PySMT with one solver at the time
#
env:
  global:
    - secure: <KEY>
  matrix:
    - PYSMT_SOLVER="None"
    - PYSMT_SOLVER="msat"  PYTHONPATH="$PYTHONPATH:$TRAVIS_BUILD_DIR/.smt_solvers/mathsat-5.2.12-linux-x86_64/python:$TRAVIS_BUILD_DIR/.smt_solvers/mathsat-5.2.12-linux-x86_64/python/build/lib.linux-x86_64-2.7"
    - PYSMT_SOLVER="z3"    PYTHONPATH="$PYTHONPATH:$TRAVIS_BUILD_DIR/.smt_solvers/z3_bin/lib/python2.7/dist-packages"
    - PYSMT_SOLVER="cvc4"  PYTHONPATH="$PYTHONPATH:$TRAVIS_BUILD_DIR/.smt_solvers/CVC4-68f22235a62f5276b206e9a6692a85001beb8d42/builds/src/bindings/python"
    - PYSMT_SOLVER="yices" PYTHONPATH="$PYTHONPATH:$TRAVIS_BUILD_DIR/.smt_solvers/pyices-aa0b91c39aa00c19c2160e83aad822dc468ce328/build/lib.linux-x86_64-2.7"
    - PYSMT_SOLVER="cudd"  PYTHONPATH="$PYTHONPATH:$TRAVIS_BUILD_DIR/.smt_solvers/pycudd2.0.2/pycudd"

matrix:
  include:
    - env: PYSMT_SOLVER="None"
      python: 2.6
    - env: PYSMT_SOLVER="None"
      python: 3.3
    - env: PYSMT_SOLVER="None"
      python: 3.4
    - env: PYSMT_SOLVER="None"
      python: pypy

# Make folders for the reports
before_script:
  - mkdir -p shippable/testresults
  - mkdir -p shippable/codecoverage

script:
  - ./install.py --check
  - nosetests pysmt --with-xunit --xunit-file=shippable/testresults/nosetests.xml --with-coverage --cover-package=pysmt --cover-xml --cover-xml-file=shippable/codecoverage/coverage.xml --cover-branch

commit_container: gario/shippable_pysmt<commit_msg>Enable parallelism; disabled coverage and pushing of container.<commit_after>cache: true
language: python
build_image: shippableimages/ubuntu1404_python
python:
  # - 2.6
  - 2.7
  # - 3.2
  # - 3.3
  # - 3.4
  # - pypy


install:
  - pip install nose
  - pip install coverage
  - source shippable.sh $PYSMT_SOLVER


# Multiple envs will cause multiple build across multiple python versions.
# We test the following:
# 1. PySMT w/o solvers
# 2. PySMT with one solver at the time
#
env:
  global:
    - secure: <KEY>
  matrix:
    - PYSMT_SOLVER="None"
    - PYSMT_SOLVER="msat"  PYTHONPATH="$PYTHONPATH:$TRAVIS_BUILD_DIR/.smt_solvers/mathsat-5.2.12-linux-x86_64/python:$TRAVIS_BUILD_DIR/.smt_solvers/mathsat-5.2.12-linux-x86_64/python/build/lib.linux-x86_64-2.7"
    - PYSMT_SOLVER="z3"    PYTHONPATH="$PYTHONPATH:$TRAVIS_BUILD_DIR/.smt_solvers/z3_bin/lib/python2.7/dist-packages"
    - PYSMT_SOLVER="cvc4"  PYTHONPATH="$PYTHONPATH:$TRAVIS_BUILD_DIR/.smt_solvers/CVC4-68f22235a62f5276b206e9a6692a85001beb8d42/builds/src/bindings/python"
    - PYSMT_SOLVER="yices" PYTHONPATH="$PYTHONPATH:$TRAVIS_BUILD_DIR/.smt_solvers/pyices-aa0b91c39aa00c19c2160e83aad822dc468ce328/build/lib.linux-x86_64-2.7"
    - PYSMT_SOLVER="cudd"  PYTHONPATH="$PYTHONPATH:$TRAVIS_BUILD_DIR/.smt_solvers/pycudd2.0.2/pycudd"

matrix:
  include:
    - env: PYSMT_SOLVER="None"
      python: 2.6
    - env: PYSMT_SOLVER="None"
      python: 3.3
    - env: PYSMT_SOLVER="None"
      python: 3.4
    - env: PYSMT_SOLVER="None"
      python: pypy

# Make folders for the reports
before_script:
  - mkdir -p shippable/testresults
  - mkdir -p shippable/codecoverage

script:
  - ./install.py --check
  - nosetests pysmt --processes=4 --process-timeout=360 --with-xunit --xunit-file=shippable/testresults/nosetests.xml

# --with-coverage --cover-package=pysmt --cover-xml --cover-xml-file=shippable/codecoverage/coverage.xml --cover-branch

# Disable push of container for now
#commit_container: gario/shippable_pysmt
{'fraction_non_alphanumeric': 0.1266284523189161, 'fraction_numerical': 0.0594059405940594, 'mean_word_length': 3.780821917808219, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 8}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1944839', 'n_tokens_mistral': 1780, 'n_tokens_neox': 1603, 'n_words': 232}