Merge pull request #98 from JuliaReach/mforets/31

Add tests for dimension
JuliaReach · Apr 13, 2020 · b1ee5d2 · b1ee5d2
2 parents 77932c1 + 37195c9
commit b1ee5d2
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 1 deletion.
diff --git a/test/algorithms/BOX.jl b/test/algorithms/BOX.jl
@@ -6,12 +6,13 @@
     @test isa(sol.alg, BOX)
     @test setrep(sol) <: Hyperrectangle
     @test setrep(sol) == Hyperrectangle{Float64,Array{Float64,1},Array{Float64,1}}
+    @test dim(sol) == 1
 
     # higher-dimensional homogeneous
     prob, tspan = linear5D_homog()
     sol = solve(prob, tspan=tspan, BOX(δ=0.01))
     @test setrep(sol) == Hyperrectangle{Float64,Array{Float64,1},Array{Float64,1}}
-    #@test dim(sol) == 5
+    @test dim(sol) == 5
 
     # static option
     sol = solve(prob, tspan=tspan, BOX(δ=0.01), static=true)

diff --git a/test/algorithms/GLGM06.jl b/test/algorithms/GLGM06.jl
@@ -6,10 +6,12 @@
     @test isa(sol.alg, GLGM06)
     @test setrep(sol) <: Zonotope
     @test setrep(sol) == Zonotope{Float64,Array{Float64,1},Array{Float64,2}}
+    @test dim(sol) == 1
 
     # higher-dimensional homogeneous
     prob, tspan = linear5D_homog()
     sol = solve(prob, tspan=tspan, GLGM06(δ=0.01))
+    @test dim(sol) == 5
 
     # static option
     sol = solve(prob, tspan=tspan, GLGM06(δ=0.01), static=true)

diff --git a/test/solve.jl b/test/solve.jl
@@ -32,6 +32,9 @@
     # test that in the border of the time transition we get two reachsets
     F = flowpipe(sol)
     @test F(0.1) == F[1:2]
+
+    # dimension
+    @test dim(F) == 1
 end
 
 @testset "Solution interface: initial states" begin