JuliaReach / Reachability.jl

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

#704 - MethodError with projection matrix #705

Closed mforets closed 4 years ago

mforets commented 4 years ago

Closes #704.

codecov-io commented 4 years ago

Codecov Report

Merging #705 into master will increase coverage by 0.25%. The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #705      +/-   ##
==========================================
+ Coverage   65.51%   65.76%   +0.25%     
==========================================
  Files          58       58              
  Lines        2314     2296      -18     
==========================================
- Hits         1516     1510       -6     
+ Misses        798      786      -12
Impacted Files Coverage Δ
src/ReachSets/ContinuousPost/BFFPSV18/reach.jl 78.72% <ø> (ø) :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 cd2b03b...06a7c2a. Read the comment docs.