sudo: true
dist: trusty
language: cpp
compiler:
  - gcc
  - clang
addons:
  apt:
    packages:
      - libgmp-dev
script:
  - make test_ci DEBUG=1 -j3
  - make clean
  - make test_go