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

Merge fixes and export of FunctionPatch #746

Closed pietercollins closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #746 (3a6e2b9) into master (66f4bea) will decrease coverage by 0.01%. The diff coverage is 77.77%.

:exclamation: Current head 3a6e2b9 differs from pull request most recent head 8691d7e. Consider uploading reports for the commit 8691d7e to get more accurate results

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #746 +/- ## ========================================== - Coverage 63.80% 63.79% -0.01% ========================================== Files 300 300 Lines 28589 28590 +1 ========================================== Hits 18240 18240 - Misses 10349 10350 +1 ```