Fixing a bug: completing reachability graph with missing past traces.

[jpf-core.git] / .travis.yml

diff --git a/.travis.yml b/.travis.yml
index 0f4d5f0c94d626a74edc7d206a423762e297705c..8db942630e2e5de8f1d47c311191f64b40f658ba 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,4 +1,23 @@
+dist: trusty
+
 language: java
-script: 
-   - ant build
-   - ant test
+
+jdk:
+  - oraclejdk8
+
+script:
+  - ./gradlew check
+
+before_cache:
+  - rm -f  $HOME/.gradle/caches/modules-2/modules-2.lock
+  - rm -fr $HOME/.gradle/caches/*/plugin-resolution/
+
+cache:
+  directories:
+    - $HOME/.gradle/caches/
+    - $HOME/.gradle/wrapper/
+
+addons:
+  apt:
+    packages:
+      - oracle-java8-installer