Merge pull request #138 from JuliaReach/schillic/parser

Do not run parser tests in Julia v1.12.0-v1.12.2

Author: schillic

docs/make.jl

@@ -5,11 +5,15 @@ DocMeta.setdocmeta!(SpaceExParser, :DocTestSetup,
 
 bib = CitationBibliography(joinpath(@__DIR__, "src", "refs.bib"); style=:alpha)
 
+# Julia parser is broken for `'` in v1.12.0 - v1.12.2
+doctest = v"1.12.0" <= VERSION <= v"1.12.2" ? false : true
+
 makedocs(; sitename="SpaceExParser.jl",
          modules=[SpaceExParser],
          format=Documenter.HTML(; prettyurls=get(ENV, "CI", nothing) == "true",
                                 assets=["assets/aligned.css", "assets/citations.css"]),
          pagesonly=true,
+         doctest=doctest,
          plugins=[bib],
          pages=["Home" => "index.md",
                 "Examples" => Any["Introduction" => "examples/examples.md",

test/runtests.jl

@@ -1,7 +1,10 @@
 using Test, SpaceExParser, HybridSystems, MathematicalSystems
 
-include("unit_examples.jl")
 include("unit_parse.jl")
-include("unit_affine.jl")
+@static if VERSION < v"1.12.0" || VERSION > v"1.12.2"
+    # Julia parser is broken for `'` in v1.12.0 - v1.12.2
+    include("unit_examples.jl")
+    include("unit_affine.jl")
+end
 
 include("Aqua.jl")

test/unit_affine.jl

@@ -2,7 +2,7 @@ using LazySets
 AFFINE_SYSTEM = ConstrainedLinearControlContinuousSystem
 
 @testset "Bouncing ball" begin
-    H = readsxmodel("../examples/bball/bball_flattened.xml"; ST=AFFINE_SYSTEM)
+    H = readsxmodel(joinpath(@__DIR__, "../examples/bball/bball_flattened.xml"); ST=AFFINE_SYSTEM)
 
     @test nmodes(H) == 1
     @test ntransitions(H) == 1

test/unit_examples.jl

@@ -1,5 +1,5 @@
 @testset "Bouncing ball" begin
-    H = readsxmodel("../examples/bball/bball_flattened.xml")
+    H = readsxmodel(joinpath(@__DIR__, "../examples/bball/bball_flattened.xml"))
     @test nmodes(H) == 1
     @test ntransitions(H) == 1
 
@@ -13,7 +13,8 @@
 end
 
 @testset "Van der Pol" begin
-    H = readsxmodel("../examples/van_der_pol_fourth_quadrant/van_der_pol_fourth_quadrant.xml")
+    H = readsxmodel(joinpath(@__DIR__,
+                             "../examples/van_der_pol_fourth_quadrant/van_der_pol_fourth_quadrant.xml"))
     @test nmodes(H) == 1
     @test ntransitions(H) == 0
 
@@ -23,7 +24,8 @@ end
 end
 
 @testset "Lotka-Volterra" begin
-    H = readsxmodel("../examples/lotka_volterra_fourth_quadrant/lotka_volterra_fourth_quadrant.xml")
+    H = readsxmodel(joinpath(@__DIR__,
+                             "../examples/lotka_volterra_fourth_quadrant/lotka_volterra_fourth_quadrant.xml"))
     @test nmodes(H) == 1
     @test ntransitions(H) == 0
 
@@ -33,7 +35,7 @@ end
 end
 
 @testset "Circle" begin
-    H = readsxmodel("../examples/circle/circle_flattened.xml")
+    H = readsxmodel(joinpath(@__DIR__, "../examples/circle/circle_flattened.xml"))
     @test nmodes(H) == 2
     @test ntransitions(H) == 2
     for (i, ti) in enumerate(transitions(H))