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

function-taylor_model_multiplication#735 #736

Closed pietercollins closed 1 year ago

pietercollins commented 1 year ago

Fixed serious bug in TaylorModel multiplication due to not carrying-over errors from sweeping.

codecov[bot] commented 1 year ago

Codecov Report

Merging #736 (759072c) into master (df0b792) will increase coverage by 0.01%. The diff coverage is 100.00%.

:exclamation: Current head 759072c differs from pull request most recent head 1fbda63. Consider uploading reports for the commit 1fbda63 to get more accurate results

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #736 +/- ## ========================================== + Coverage 63.78% 63.79% +0.01% ========================================== Files 300 300 Lines 28587 28587 ========================================== + Hits 18233 18237 +4 + Misses 10354 10350 -4 ```