Analysis with unbounded time

[schillic]

If T is set to Inf, we should still be able to run the analysis. Termination is then only possible if a fixpoint is found or some property is violated.

[schillic]

Idea: If :T == Inf, we do not preallocate the result, pass N = nothing, and modify the termination function argument. We add a method for

Reachability.jl/src/ReachSets/ContinuousPost/BFFPSV18/reach_blocks.jl

Line 41 in b81c820

@inline store!(res, k, X, t0, t1, N) = (res[k] = ReachSet(X, t0, t1))

for dispatch (with N::Nothing) that uses push!. We also need to deactivate the progress bar.