Merge pull request #683 from JuliaReach/schillic/v1.2

Update tests for Julia v1.2
JuliaReach · Sep 13, 2019 · 1a8686e · 1a8686e
2 parents c0c956a + daa7afa
commit 1a8686e
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 6 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -13,14 +13,16 @@ git:
 matrix:
   fast_finish: true
   allow_failures:
-    - julia: 1.1  # development versions
+    - julia: 1.2  # development versions
       env: TEST_SUITE='using Pkg; Pkg.develop("LazySets"); Pkg.develop("MathematicalSystems"); Pkg.develop("HybridSystems"); Pkg.develop("TaylorModels"); Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=false
   include:
-    - julia: 1.1  # master versions
-      env: TEST_SUITE='using Pkg; Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=false
     - julia: 1.0  # master versions
       env: TEST_SUITE='using Pkg; Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=true
-    - julia: 1.1  # development versions
+    - julia: 1.1  # master versions
+      env: TEST_SUITE='using Pkg; Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=false
+    - julia: 1.2  # master versions
+      env: TEST_SUITE='using Pkg; Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=false
+    - julia: 1.2  # development versions
       env: TEST_SUITE='using Pkg; Pkg.develop("LazySets"); Pkg.develop("MathematicalSystems"); Pkg.develop("HybridSystems"); Pkg.develop("TaylorModels"); Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=false
 
 script:

diff --git a/Project.toml b/Project.toml
@@ -23,7 +23,7 @@ TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a"
 TaylorSeries = "6aa5eb33-94cf-58f4-a9d0-e4b2c4fc25ea"
 
 [compat]
-julia = "≥ 1.0.0"
+julia = "1.0, 1.1, 1.2"
 Expokit = "≥ 0.2.0"
 HybridSystems = "≥ 0.3.0"
 IntervalArithmetic = "≥ 0.15.2"
@@ -44,6 +44,7 @@ TaylorSeries = "≥ 0.10.0"
 [extras]
 CDDLib = "3391f64e-dcde-5f30-b752-e11513730f60"
 Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
+Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [targets]
-test = ["CDDLib", "Polyhedra"]
+test = ["CDDLib", "Polyhedra", "Test"]