Skip to content

Commit

Permalink
Tests
Browse files Browse the repository at this point in the history
  • Loading branch information
Kolaru committed Jan 15, 2024
1 parent edcd8b8 commit 2dd229e
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions test/interval_tests/consistency.jl
Original file line number Diff line number Diff line change
Expand Up @@ -184,6 +184,11 @@
@testset "mid with α" begin
@test_throws DomainError mid(interval(1, 2), 1.2)
@test_throws DomainError mid(interval(1, 2), -0.7)
@test mid(interval(0, 1), 0.75) == 0.75
@test mid(interval(0, 1000), 0.125) == 125
@test mid(interval(1, Inf), 0.75) > 0
@test mid(interval(-Inf, Inf), 0.75) > 0
@test mid(interval(-Inf, Inf), 0.25) < 0
end

@testset "mid with large floats" begin
Expand Down

0 comments on commit 2dd229e

Please sign in to comment.