Skip to content

Commit

Permalink
Fix test
Browse files Browse the repository at this point in the history
  • Loading branch information
lbenet committed Mar 15, 2024
1 parent ff9c3aa commit d8a655b
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions test/intervals.jl
Original file line number Diff line number Diff line change
Expand Up @@ -137,10 +137,10 @@ using Test


# Iss 351 (inspired by a test in ReachabilityAnalysis)
p1 = Taylor1([0 .. 0, (0 .. 0.1) + (0 .. 0.01) * y], 4)
p2 = Taylor1([0 .. 0, (0 .. 0.5) + (0 .. 0.02) * x + (0 .. 0.03) * y], 4)
@test evaluate([p1, p2], 0 .. 1) == [p1[1], p2[1]]
@test typeof(p1(0 .. 1)) == TaylorN{Interval{Float64}}
p1 = Taylor1([interval(0, 0), interval(0, 0.1) + interval(0, 0.01) * y], 4)
p2 = Taylor1([interval(0, 0), interval(0, 0.5) + interval(0, 0.02) * x + interval(0, 0.03) * y], 4)
@test evaluate([p1, p2], interval(0, 1)) == [p1[1], p2[1]]
@test typeof(p1(interval(0, 1))) == TaylorN{Interval{Float64}}

# Tests related to Iss #311
# `sqrt` and `pow` defined on Interval(0,Inf)
Expand Down

0 comments on commit d8a655b

Please sign in to comment.