ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

concepts#260-geometry #739

Closed pietercollins closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #739 (47dd5ca) into master (c54f5fd) will increase coverage by 0.01%. The diff coverage is 48.57%.

:exclamation: Current head 47dd5ca differs from pull request most recent head de9e72b. Consider uploading reports for the commit de9e72b to get more accurate results

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #739 +/- ## ========================================== + Coverage 63.79% 63.80% +0.01% ========================================== Files 300 300 Lines 28587 28587 ========================================== + Hits 18237 18240 +3 + Misses 10350 10347 -3 ```