Outsource common `NSTEPS` code to function

Open schillic opened this issue 1 year ago • 3 comments

Jul 28 '24 11:07 schillic

i think this was the purpose of https://github.com/JuliaReach/ReachabilityAnalysis.jl/issues/734

Aug 27 '24 18:08 mforets

i think this was the purpose of #734

Does that mean there should be a separate module?

Aug 27 '24 20:08 schillic

i focused too much on the "Refactor init constants" and forgot the "to their own module" part :)

unfortunately that issue doesn't have any associated description. we may as well just close it.

Aug 27 '24 21:08 mforets