Fixing the counter for unique transitions.
[jpf-core.git] / .travis.yml
1 dist: trusty
2
3 language: java
4
5 jdk:
6   - oraclejdk8
7
8 script:
9   - ./gradlew check
10
11 before_cache:
12   - rm -f  $HOME/.gradle/caches/modules-2/modules-2.lock
13   - rm -fr $HOME/.gradle/caches/*/plugin-resolution/
14
15 cache:
16   directories:
17     - $HOME/.gradle/caches/
18     - $HOME/.gradle/wrapper/
19
20 addons:
21   apt:
22     packages:
23       - oracle-java8-installer