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#260cfunction #734

Closed pietercollins closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #734 (d6b166d) into master (19e4d9b) will decrease coverage by 0.11%. The diff coverage is 39.20%.

:exclamation: Current head d6b166d differs from pull request most recent head 22c3012. Consider uploading reports for the commit 22c3012 to get more accurate results

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #734 +/- ## ========================================== - Coverage 63.88% 63.78% -0.11% ========================================== Files 298 300 +2 Lines 28449 28587 +138 ========================================== + Hits 18176 18233 +57 - Misses 10273 10354 +81 ```