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

dynamics-simulator_time#741 #742

Closed pietercollins closed 1 year ago

pietercollins commented 1 year ago

…ot FloatApproximation, as the time type.

codecov[bot] commented 1 year ago

Codecov Report

Merging #742 (d466be8) into master (76fcaa0) will not change coverage. The diff coverage is 100.00%.

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

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #742 +/- ## ======================================= Coverage 63.80% 63.80% ======================================= Files 300 300 Lines 28587 28587 ======================================= Hits 18240 18240 Misses 10347 10347 ```
pietercollins commented 1 year ago

Fixed