From d8a655bddfe94065107cd826b61a2db89ae3f899 Mon Sep 17 00:00:00 2001 From: Luis Benet Date: Fri, 15 Mar 2024 15:06:31 -0600 Subject: [PATCH] Fix test --- test/intervals.jl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/test/intervals.jl b/test/intervals.jl index e8b57967..2b960a26 100644 --- a/test/intervals.jl +++ b/test/intervals.jl @@ -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)