search

sybila / biodivine-lib-bdd

A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
MIT License
20 stars 4 forks source link

Validation #59

Closed daemontus closed 1 month ago

daemontus commented 1 month ago

Add a validation test to check the structure of a BDD after serialization.

codecov[bot] commented 1 month ago

Codecov Report

Attention: Patch coverage is 91.89189% with 3 lines in your changes missing coverage. Please review.

Please upload report for BASE (master@7f7d11f). Learn more about missing BASE report. Report is 3 commits behind head on master.

Files with missing lines Patch % Lines
src/_impl_bdd/_impl_util.rs 91.89% 3 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #59 +/- ## ========================================= Coverage ? 90.91% ========================================= Files ? 27 Lines ? 2157 Branches ? 0 ========================================= Hits ? 1961 Misses ? 196 Partials ? 0 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.