@testset "Core" begin
    e2 = Edge(1, 3)
    e3 = Edge(1, 4)
    @test @inferred(is_ordered(e2))
    @test @inferred(!is_ordered(reverse(e3)))

    gx = Graph(10)
    for g in testgraphs(gx)
        @test add_vertices!(g, 5) == 5
        @test @inferred(nv(g)) == 15
    end

    g5w = WheelGraph(5)
    for g in testgraphs(g5w)
        @test @inferred(indegree(g, 1)) == @inferred(outdegree(g, 1)) == @inferred(degree(g, 1)) == 4
        @test @inferred(indegree(g)) == @inferred(outdegree(g)) == @inferred(degree(g)) == [4, 3, 3, 3, 3]

        @test @inferred(Δout(g)) == @inferred(Δin(g)) == @inferred(Δ(g)) == 4
        @test @inferred(δout(g)) == @inferred(δin(g)) == @inferred(δ(g)) == 3
        @test @inferred(weights(g)) == LightGraphs.DefaultDistance(nv(g))
        z1 = @inferred(degree_histogram(g))
        z2 = @inferred(degree_histogram(g, indegree))
        z3 = @inferred(degree_histogram(g, outdegree))

        @test z1 == z2 == z3 == Dict(4 => 1, 3 => 4)

        @test @inferred(neighbors(g, 2)) == @inferred(all_neighbors(g, 2)) == [1, 3, 5]
        @test @inferred(common_neighbors(g, 1, 5)) == [2, 4]

        gsl = copy(g)
        add_edge!(gsl, 3, 3)
        add_edge!(gsl, 2, 2)

        @test @inferred(!has_self_loops(g))
        @test @inferred(has_self_loops(gsl))
        @test @inferred(num_self_loops(g)) == 0
        @test @inferred(num_self_loops(gsl)) == 2

        @test @inferred(density(g)) == 0.8

        @test eltype(squash(g)) == UInt8
    end

    g5wd = WheelDiGraph(5)
    for g in testdigraphs(g5wd)
        @test @inferred(indegree(g, 2)) == 2
        @test @inferred(outdegree(g, 2)) == 1
        @test @inferred(degree(g, 2)) == 3
        @test @inferred(indegree(g)) == [0, 2, 2, 2, 2]
        @test @inferred(outdegree(g)) == [4, 1, 1, 1, 1]
        @test @inferred(degree(g)) == [4, 3, 3, 3, 3]
        @test @inferred(weights(g)) == LightGraphs.DefaultDistance(nv(g))

        @test @inferred(Δout(g)) == @inferred(Δ(g)) == 4
        @test @inferred(Δin(g)) == 2
        @test @inferred(δout(g)) == 1
        @test @inferred(δin(g)) == 0
        @test @inferred(δ(g)) == 3

        z1 = @inferred(degree_histogram(g))
        z2 = @inferred(degree_histogram(g, indegree))
        z3 = @inferred(degree_histogram(g, outdegree))
        @test z1 == Dict(4 => 1, 3 => 4)
        @test z2 == Dict(0 => 1, 2 => 4)
        @test z3 == Dict(4 => 1, 1 => 4)

        @test @inferred(neighbors(g, 2)) == [3]
        @test Set(@inferred(all_neighbors(g, 2))) == Set([1, 3, 5])
        @test @inferred(common_neighbors(g, 1, 5)) == [2]

        gsl = copy(g)
        add_edge!(gsl, 3, 3)
        add_edge!(gsl, 2, 2)

        @test @inferred(!has_self_loops(g))
        @test @inferred(has_self_loops(gsl))
        @test @inferred(num_self_loops(g)) == 0
        @test @inferred(num_self_loops(gsl)) == 2

        @test @inferred(density(g)) == 0.4
        @test eltype(squash(g)) == UInt8
        end
    end
