search

JuliaReach / Reachability.jl

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

#700 - Change info to warning in TMJets max steps #701

Closed mforets closed 4 years ago

mforets commented 4 years ago

Closes #700.

codecov-io commented 4 years ago

Codecov Report

Merging #701 into master will increase coverage by 0.25%. The diff coverage is 0%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #701      +/-   ##
==========================================
+ Coverage   65.54%   65.79%   +0.25%     
==========================================
  Files          58       58              
  Lines        2313     2295      -18     
==========================================
- Hits         1516     1510       -6     
+ Misses        797      785      -12
Impacted Files Coverage Δ
src/ReachSets/ContinuousPost/TMJets/reach.jl 96.42% <0%> (ø) :arrow_up:
src/Reachability.jl 66.66% <0%> (-8.34%) :arrow_down:
src/ReachSets/ContinuousPost/ASB07/post.jl 88.88% <0%> (-0.59%) :arrow_down:
src/ReachSets/ContinuousPost/BFFPS19/BFFPS19.jl 64.19% <0%> (-0.44%) :arrow_down:
src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl 76.92% <0%> (-0.44%) :arrow_down:
.../ReachSets/ContinuousPost/ASB07_decomposed/post.jl 90.47% <0%> (-0.44%) :arrow_down:
src/ReachSets/discretize.jl 94.31% <0%> (+6.02%) :arrow_up:

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 499401c...7e53693. Read the comment docs.

lbenet commented 4 years ago

LGTM. Maybe you can also make a PR in TaylorModels, to keep things synchronized...