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

solvers-set #751

Closed pietercollins closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #751 (e4d3ac6) into master (878afb2) will decrease coverage by 0.01%. The diff coverage is 76.31%.

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

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