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

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

diff --git a/.travis.yml b/.travis.yml
index b87b43df07fc06444a6be850f472cad57a9bb1fd..8db942630e2e5de8f1d47c311191f64b40f658ba 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,10 +1,12 @@
+dist: trusty
+
 language: java
 
 jdk:
   - oraclejdk8
 
 script:
-  - ./gradlew check --scan -s
+  - ./gradlew check
 
 before_cache:
   - rm -f  $HOME/.gradle/caches/modules-2/modules-2.lock