From 7aa235c7fa52714b1bd0ea2cc57ac0a17a30737c Mon Sep 17 00:00:00 2001 From: Neven Sajko Date: Tue, 7 Oct 2025 19:09:09 +0200 Subject: [PATCH] add some tests --- test/runtests.jl | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/test/runtests.jl b/test/runtests.jl index 1f78bc6..838a31a 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -2,7 +2,14 @@ using GraphProperties using Test @testset "GraphProperties.jl" begin - # Write your tests here. + @testset "construction, subtyping" begin + @test PropertyComparison(==, Arboricity(), 2) isa GraphProperty{Bool} + @test PropertyComparison(<=, Boxicity(), 2) isa GraphProperty{Bool} + @test GraphIsChordal() isa GraphProperty{Bool} + @test Arboricity() isa GraphProperty{Integer} + @test FractionalChromaticNumber() isa GraphProperty{Real} + @test DegreeSequence() isa GraphProperty{AbstractVector} + end end using Aqua: Aqua