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

Published 20 hours ago • verified publisher icon JuliaReach

Remove option mode

Open schillic opened this issue 6 years ago • 0 comments

We currently have the option :mode which can have the value "reach" or "check". Actually, this option is redundant in the input:

  • If there is a property, then we want to check it.
  • Otherwise, we want to compute the reachable states.

schillic avatar Feb 19 '19 14:02 schillic