search

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

Dynamics di#198 #722

Closed lgeretti closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #722 (d72f423) into master (2ff1601) will increase coverage by 0.05%. The diff coverage is 87.61%.

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

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #722 +/- ## ========================================== + Coverage 63.96% 64.01% +0.05% ========================================== Files 298 298 Lines 28383 28399 +16 ========================================== + Hits 18156 18181 +25 + Misses 10227 10218 -9 ```