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

Concurrency decoupling#702 #707

Closed lgeretti closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #707 (578ab64) into master (99b164e) will decrease coverage by 6.69%. The diff coverage is n/a.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #707 +/- ## ========================================== - Coverage 70.71% 64.02% -6.70% ========================================== Files 312 298 -14 Lines 29723 28082 -1641 ========================================== - Hits 21020 17979 -3041 - Misses 8703 10103 +1400 ```