Closed mforets closed 4 years ago
This error is allowed in the travis build for this package, as it was introduced in the dev version of LazySets.
Okay, and is it a valid error in LazySets
? Then we should fix it there before we make a new release.
I investigated and am pretty sure that the problem occurred by adding new type parameters to Hyperrectangle
. But the actual problem lies in Reachability
:
https://github.com/JuliaReach/Reachability.jl/blob/fbbdc7291bcb37118e2c20678d6807d0ae29e632/src/ReachSets/project_reach.jl#L95
So it seems that our workaround has already found its limits.