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

Solvers-optimisation-docs#761 #762

Closed pietercollins closed 10 months ago

codecov[bot] commented 12 months ago

Codecov Report

Merging #762 (88b8750) into master (747853b) will increase coverage by 0.00%. The diff coverage is 56.36%.

:exclamation: Current head 88b8750 differs from pull request most recent head 1976acb. Consider uploading reports for the commit 1976acb to get more accurate results

@@           Coverage Diff           @@
##           master     #762   +/-   ##
=======================================
  Coverage   63.64%   63.65%           
=======================================
  Files         300      300           
  Lines       28685    28686    +1     
=======================================
+ Hits        18258    18259    +1     
  Misses      10427    10427