We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 970cafc commit 2712a41Copy full SHA for 2712a41
test/runtests.jl
@@ -2,7 +2,14 @@ using GraphProperties
2
using Test
3
4
@testset "GraphProperties.jl" begin
5
- # Write your tests here.
+ @testset "construction, subtyping" begin
6
+ @test PropertyComparison(==, Arboricity(), 2) isa GraphProperty{Bool}
7
+ @test PropertyComparison(<=, Boxicity(), 2) isa GraphProperty{Bool}
8
+ @test GraphIsChordal() isa GraphProperty{Bool}
9
+ @test Arboricity() isa GraphProperty{Integer}
10
+ @test FractionalChromaticNumber() isa GraphProperty{Real}
11
+ @test DegreeSequence() isa GraphProperty{AbstractVector}
12
+ end
13
end
14
15
using Aqua: Aqua
0 commit comments