Skip to content

Commit ffcfa70

Browse files
kalmarekdpsanders
authored andcommitted
catch missing prev_float (#86)
Following #72
1 parent 12463f1 commit ffcfa70

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

test/interval_tests/rounding.jl

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,8 @@ setrounding(Interval, :none)
2424
@testset "No rounding" begin
2525
@test rounding(Interval) == :none
2626
@test sin(x) == Interval(0.479425538604203, 0.479425538604203)
27+
w = 0 ± big(1)
28+
@test isa(w+w, Interval)
2729
end
2830

2931
setrounding(Interval, :tight)

0 commit comments

Comments
 (0)