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

Working #763

Closed pietercollins closed 11 months ago

codecov[bot] commented 11 months ago

Codecov Report

Merging #763 (888a3fd) into master (6da12b4) will decrease coverage by 0.12%. The diff coverage is 59.79%.

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

@@            Coverage Diff             @@
##           master     #763      +/-   ##
==========================================
- Coverage   63.76%   63.64%   -0.12%     
==========================================
  Files         300      300              
  Lines       28587    28685      +98     
==========================================
+ Hits        18229    18258      +29     
- Misses      10358    10427      +69