diff --git a/.github/workflows/test-pull-request.yml b/.github/workflows/test-pull-request.yml index 085b25c148..470daff0ce 100644 --- a/.github/workflows/test-pull-request.yml +++ b/.github/workflows/test-pull-request.yml @@ -46,7 +46,6 @@ jobs: - name: Run tests uses: julia-actions/julia-runtest@v1 timeout-minutes: 30 # kill stale process earlier - continue-on-error: ${{ matrix.version == '1.6' }} - name: Process coverage uses: julia-actions/julia-processcoverage@v1 - name: Upload coverage diff --git a/test/ConcreteOperations/isequivalent.jl b/test/ConcreteOperations/isequivalent.jl index f9f16b5af7..28fbf47407 100644 --- a/test/ConcreteOperations/isequivalent.jl +++ b/test/ConcreteOperations/isequivalent.jl @@ -11,12 +11,12 @@ for N in [Float64, Float32, Rational{Int}] Z = Zonotope(N[1, 2], Matrix{N}(undef, 2, 0)) @test isequivalent(S, Z) && isequivalent(Z, S) # zero generators - Z = Zonotope(N[1, 2], N[0; 0;;]) + Z = Zonotope(N[1, 2], hcat(N[0, 0])) @test isequivalent(S, Z) && isequivalent(Z, S) # wrong center Z = Zonotope(N[2, 1], Matrix{N}(undef, 2, 0)) @test !isequivalent(S, Z) && !isequivalent(Z, S) # nonzero generators - Z = Zonotope(N[1, 2], N[1; 0;;]) + Z = Zonotope(N[1, 2], hcat(N[1, 0])) @test !isequivalent(S, Z) && !isequivalent(Z, S) end diff --git a/test/Sets/Interval.jl b/test/Sets/Interval.jl index 61b974a4fe..21d9899d12 100644 --- a/test/Sets/Interval.jl +++ b/test/Sets/Interval.jl @@ -325,7 +325,7 @@ for N in [Float64, Float32, Rational{Int}] M = hcat(N[2]) v = N[-3] @test affine_map(M, I1, v) == Interval(N(-3), N(-1)) - M2 = N[2; -2;;] + M2 = hcat(N[2, -2]) v = N[-1, -1] H = affine_map(M2, I1, v) @test H isa Zonotope && isequivalent(H, LineSegment(N[-1, -1], N[1, -3])) diff --git a/test/Sets/SparsePolynomialZonotope.jl b/test/Sets/SparsePolynomialZonotope.jl index cf2145dcc5..ce9acc2aa1 100644 --- a/test/Sets/SparsePolynomialZonotope.jl +++ b/test/Sets/SparsePolynomialZonotope.jl @@ -104,7 +104,8 @@ for N in [Float64, Float32, Rational{Int}] @test expmat(PZreduced) == [1 2; 0 1] # also removes almost-zero columns if N <: AbstractFloat - PZ = SparsePolynomialZonotope(N[-1, 2], N[1e-16; -1e-16;;], N[1e-16; -1e-16;;], [1; 1;;]) + PZ = SparsePolynomialZonotope(N[-1, 2], hcat(N[1e-16, -1e-16]), + hcat(N[1e-16, -1e-16]), hcat([1, 1])) PZreduced = remove_redundant_generators(PZ) @test center(PZreduced) == N[-1, 2] @test size(genmat_dep(PZreduced)) == (2, 0)