from Zulip,
p = @ivp(x' = Interval(-11,-2)*x, x(0) ∈ Interval(1, 2)) ERROR: MethodError: no method matching LinearContinuousSystem(::Interval{Float64})