Fix property checking with N == 1 and multiple blocks

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

Closed schillic closed 4 years ago

mforets commented 4 years ago

Add a test?

schillic commented 4 years ago

I think this special case should rather be eliminated in a major refactoring.