search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Fix BFFPS19 #750

Closed schillic closed 4 years ago

schillic commented 4 years ago

The integration of the SparseReachSets was done in the wrong way.

The tests do not uncover the bug because it only triggers if some dimensions are not used.

mforets commented 4 years ago

cc'ing @kostakoida who may be able to take a look.

schillic commented 4 years ago

cc'ing @kostakoida who may be able to take a look.

I brought that feature in #676, so it was my mistake. I will merge this tomorrow because there is actually no reason for a review.