search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Let continuous post return input options #539

Closed schillic closed 5 years ago

schillic commented 5 years ago

The current implementation crashes when trying to plot the result for a purely-continuous system. The problem was that we return a TwoLayeredOptions in the result, and that is not allowed in the plot recipe. ~I decided to wrap the resulting options in an Options structure again here.~

codecov-io commented 5 years ago

Codecov Report

Merging #539 into master will increase coverage by 0.08%. The diff coverage is 85.71%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #539      +/-   ##
==========================================
+ Coverage   60.57%   60.66%   +0.08%     
==========================================
  Files          35       35              
  Lines        1537     1543       +6     
==========================================
+ Hits          931      936       +5     
- Misses        606      607       +1
Impacted Files Coverage Δ
src/solve.jl 84.72% <85.71%> (-0.13%) :arrow_down:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update b81c820...58092d7. Read the comment docs.