<commit_before># cache: true # This yields random results
language: python
#build_image: shippableimages/ubuntu1404_python
python:
  - 2.7

install:
  - pip install nose
  - pip install coverage
  - pip install six
  - 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:
    # These variables are used to set mirrors for the solvers
    - secure: IzzUEuWb2+h3gzttT0237NDkptzu4UvPN1okinDgm4Rx0uADXVWJy6gvcWaeL8F6tl8KGkpcFvzGHmwj7RGGRk8AAj+OVf+VilSlWwNe1g8SYHwxOPrTgD4ECX3860hleeI3F2DD+yFIo9Hgw3ZiHBsfbombtFGTB5WWwUgezXsENMKuNJ580MN8+c3I4IV44pSXJ179GluJ3O1e/xUkwJ5/nvysWd4q7wqJ6aIz5ZFMFhs/FKAbeEdtmmGODn2FspGJ+iKVyc0IbQpzLJO1MeizBXnGZfN9Ojv7mkPJcgzqFMjvLnpCJAEmZl3BzJFc0j9xxILvrrjHU/TKrlJkSw==<commit_msg>Experimental! Added python 3.4 with solvers!<commit_after># cache: true # This yields random results
language: python
#build_image: shippableimages/ubuntu1404_python
python:
  - 2.7
  - 3.4

install:
  - pip install nose
  - pip install coverage
  - pip install six
  - 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:
    # These variables are used to set mirrors for the solvers
    - secure: <KEY>
{'fraction_non_alphanumeric': 0.06215083798882681, 'fraction_numerical': 0.051675977653631286, 'mean_word_length': 4.848979591836735, 'pattern_counts': {'":': 0, '<': 4, '<?xml version=': 0, '>': 4, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, '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': '2169184', 'n_tokens_mistral': 645, 'n_tokens_neox': 588, 'n_words': 137}