Merge pull request #3653 from JuliaReach/schillic/hcat

Use hcat in tests
JuliaReach · Nov 20, 2024 · d7ecbfb · d7ecbfb
2 parents f0a4634 + b5f9328
commit d7ecbfb
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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)