language: python

sudo: false

addons:
  apt:
    packages:
    - coq
    - libcoq-ocaml-dev

python:
 - "2.7"

script: make check CAT_ALL_LOGS=1

language: python

sudo: false

addons:
  apt:
    packages:
    - coq
    - libcoq-ocaml-dev

python:
 - "2.7"

script: make has-all-tests && make check CAT_ALL_LOGS=1

Check that all tests are tested for
Check that all tests are tested for
