search

sybila / biodivine-lib-param-bn

Rust library for working with parametrised Boolean networks.
MIT License
2 stars 3 forks source link

deps: Update to z3 0.12. #46

Closed waywardmonkeys closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage has no change and project coverage change: -0.03 :warning:

Comparison is base (9338d96) 77.04% compared to head (0a5f31b) 77.02%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #46 +/- ## ========================================== - Coverage 77.04% 77.02% -0.03% ========================================== Files 77 77 Lines 4413 4413 ========================================== - Hits 3400 3399 -1 - Misses 1013 1014 +1 ``` [see 1 file with indirect coverage changes](https://app.codecov.io/gh/sybila/biodivine-lib-param-bn/pull/46/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=sybila)

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.