Reachability.jl icon indicating copy to clipboard operation
Reachability.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaReach

Remove option eager_checking

Open schillic opened this issue 6 years ago • 0 comments

The property-checking mode can be run with :eager_checking => false. In this setting, we run the analysis until the time horizon. I do not see a reason for this setting.

schillic avatar Feb 17 '19 18:02 schillic