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

Fix Python examples using new dec_ syntax #758

Closed lgeretti closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #758 (3e95ff2) into master (522407e) will decrease coverage by 0.03%. The diff coverage is n/a.

:exclamation: Current head 3e95ff2 differs from pull request most recent head 5d81547. Consider uploading reports for the commit 5d81547 to get more accurate results

@@            Coverage Diff             @@
##           master     #758      +/-   ##
==========================================
- Coverage   63.79%   63.76%   -0.03%     
==========================================
  Files         300      300              
  Lines       28591    28587       -4     
==========================================
- Hits        18239    18229      -10     
- Misses      10352    10358       +6