Reachability.jl
Reachability.jl copied to clipboard
Remove option mode
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.