Skip to content

Commit

Permalink
Bump minor version
Browse files Browse the repository at this point in the history
  • Loading branch information
dpsanders committed Jul 14, 2024
1 parent 2fd4b4e commit 7a392cc
Show file tree
Hide file tree
Showing 4 changed files with 1,147 additions and 1,147 deletions.
4 changes: 2 additions & 2 deletions Project.toml
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
name = "IntervalContractors"
uuid = "15111844-de3b-5229-b4ba-526f2f385dc9"
version = "0.4.8"
version = "0.5.0"

[deps]
IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
IntervalBoxes = "43d83c95-ebbb-40ec-8188-24586a1458ed"

[compat]
IntervalArithmetic = "0.22"
IntervalArithmetic = "0.22.12"
IntervalBoxes = "0.1"
julia = "1"

Expand Down
48 changes: 24 additions & 24 deletions test/abs_rev.jl
Original file line number Diff line number Diff line change
@@ -1,52 +1,52 @@
@testset "minimal.absRevBin_test" begin

@test abs_rev(emptyinterval(), entireinterval())[2] === emptyinterval()
@test abs_rev(emptyinterval(), entireinterval())[2] == emptyinterval()

@test abs_rev(interval(0.0, 1.0), emptyinterval())[2] === emptyinterval()
@test abs_rev(interval(0.0, 1.0), emptyinterval())[2] == emptyinterval()

@test abs_rev(interval(0.0, 1.0), interval(7.0, 9.0))[2] === emptyinterval()
@test abs_rev(interval(0.0, 1.0), interval(7.0, 9.0))[2] == emptyinterval()

@test abs_rev(emptyinterval(), interval(0.0, 1.0))[2] === emptyinterval()
@test abs_rev(emptyinterval(), interval(0.0, 1.0))[2] == emptyinterval()

@test abs_rev(interval(-2.0, -1.0), entireinterval())[2] === emptyinterval()
@test abs_rev(interval(-2.0, -1.0), entireinterval())[2] == emptyinterval()

@test abs_rev(interval(1.0, 1.0), entireinterval())[2] === interval(-1.0, 1.0)
@test abs_rev(interval(1.0, 1.0), entireinterval())[2] == interval(-1.0, 1.0)

@test abs_rev(interval(0.0, 0.0), entireinterval())[2] === interval(0.0, 0.0)
@test abs_rev(interval(0.0, 0.0), entireinterval())[2] == interval(0.0, 0.0)

@test abs_rev(interval(-1.0, -1.0), entireinterval())[2] === emptyinterval()
@test abs_rev(interval(-1.0, -1.0), entireinterval())[2] == emptyinterval()

@test abs_rev(interval(0x1.FFFFFFFFFFFFFp1023, 0x1.FFFFFFFFFFFFFp1023), entireinterval())[2] === interval(-0x1.FFFFFFFFFFFFFp1023, 0x1.FFFFFFFFFFFFFp1023)
@test abs_rev(interval(0x1.FFFFFFFFFFFFFp1023, 0x1.FFFFFFFFFFFFFp1023), entireinterval())[2] == interval(-0x1.FFFFFFFFFFFFFp1023, 0x1.FFFFFFFFFFFFFp1023)

@test abs_rev(interval(0x1p-1022, 0x1p-1022), entireinterval())[2] === interval(-0x1p-1022, 0x1p-1022)
@test abs_rev(interval(0x1p-1022, 0x1p-1022), entireinterval())[2] == interval(-0x1p-1022, 0x1p-1022)

@test abs_rev(interval(-0x1p-1022, -0x1p-1022), entireinterval())[2] === emptyinterval()
@test abs_rev(interval(-0x1p-1022, -0x1p-1022), entireinterval())[2] == emptyinterval()

@test abs_rev(interval(-0x1.FFFFFFFFFFFFFp1023, -0x1.FFFFFFFFFFFFFp1023), entireinterval())[2] === emptyinterval()
@test abs_rev(interval(-0x1.FFFFFFFFFFFFFp1023, -0x1.FFFFFFFFFFFFFp1023), entireinterval())[2] == emptyinterval()

@test abs_rev(interval(1.0, 2.0), entireinterval())[2] === interval(-2.0, 2.0)
@test abs_rev(interval(1.0, 2.0), entireinterval())[2] == interval(-2.0, 2.0)

@test abs_rev(interval(1.0, 2.0), interval(0.0, 2.0))[2] === interval(1.0, 2.0)
@test abs_rev(interval(1.0, 2.0), interval(0.0, 2.0))[2] == interval(1.0, 2.0)

@test abs_rev(interval(0.0, 1.0), interval(-0.5, 2.0))[2] === interval(-0.5, 1.0)
@test abs_rev(interval(0.0, 1.0), interval(-0.5, 2.0))[2] == interval(-0.5, 1.0)

@test abs_rev(interval(-1.0, 1.0), entireinterval())[2] === interval(-1.0, 1.0)
@test abs_rev(interval(-1.0, 1.0), entireinterval())[2] == interval(-1.0, 1.0)

@test abs_rev(interval(-1.0, 0.0), entireinterval())[2] === interval(0.0, 0.0)
@test abs_rev(interval(-1.0, 0.0), entireinterval())[2] == interval(0.0, 0.0)

@test abs_rev(interval(0.0, Inf), entireinterval())[2] === entireinterval()
@test abs_rev(interval(0.0, Inf), entireinterval())[2] == entireinterval()

@test abs_rev(entireinterval(), entireinterval())[2] === entireinterval()
@test abs_rev(entireinterval(), entireinterval())[2] == entireinterval()

@test abs_rev(interval(-Inf, 0.0), entireinterval())[2] === interval(0.0, 0.0)
@test abs_rev(interval(-Inf, 0.0), entireinterval())[2] == interval(0.0, 0.0)

@test abs_rev(interval(1.0, Inf), interval(-Inf, 0.0))[2] === interval(-Inf, -1.0)
@test abs_rev(interval(1.0, Inf), interval(-Inf, 0.0))[2] == interval(-Inf, -1.0)

@test abs_rev(interval(-1.0, Inf), entireinterval())[2] === entireinterval()
@test abs_rev(interval(-1.0, Inf), entireinterval())[2] == entireinterval()

@test abs_rev(interval(-Inf, -1.0), entireinterval())[2] === emptyinterval()
@test abs_rev(interval(-Inf, -1.0), entireinterval())[2] == emptyinterval()

@test abs_rev(interval(-Inf, 1.0), entireinterval())[2] === interval(-1.0, 1.0)
@test abs_rev(interval(-Inf, 1.0), entireinterval())[2] == interval(-1.0, 1.0)

end

Loading

0 comments on commit 7a392cc

Please sign in to comment.