refactor(bdd): moved duplicate code to restrict_and_prune & union_and_extend · sybila/biodivine-boolean-functions@b9afa91 · GitHub

Codecov / codecov/patch failed May 10, 2024 in 1s

3.03% of diff hit (target 83.07%)

View this Pull Request on Codecov

3.03% of diff hit (target 83.07%)

Annotations

Check warning on line 11 in src/bdd/iterators/image.rs

codecov / codecov/patch

src/bdd/iterators/image.rs#L11

Added line #L11 was not covered by tests

Check warning on line 14 in src/bdd/iterators/image.rs

codecov / codecov/patch

src/bdd/iterators/image.rs#L13-L14

Added lines #L13 - L14 were not covered by tests

Check warning on line 23 in src/bdd/iterators/image.rs

codecov / codecov/patch

src/bdd/iterators/image.rs#L22-L23

Added lines #L22 - L23 were not covered by tests

Check warning on line 25 in src/bdd/iterators/image.rs

codecov / codecov/patch

src/bdd/iterators/image.rs#L25

Added line #L25 was not covered by tests

Check warning on line 8 in src/bdd/iterators/support.rs

codecov / codecov/patch

src/bdd/iterators/support.rs#L8

Added line #L8 was not covered by tests

Check warning on line 10 in src/bdd/iterators/support.rs

codecov / codecov/patch

src/bdd/iterators/support.rs#L10

Added line #L10 was not covered by tests

Check warning on line 19 in src/bdd/iterators/support.rs

codecov / codecov/patch

src/bdd/iterators/support.rs#L18-L19

Added lines #L18 - L19 were not covered by tests

Check warning on line 47 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L45-L47

Added lines #L45 - L47 were not covered by tests

Check warning on line 49 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L49

Added line #L49 was not covered by tests

Check warning on line 57 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L56-L57

Added lines #L56 - L57 were not covered by tests

Check warning on line 64 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L64

Added line #L64 was not covered by tests

Check warning on line 68 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L67-L68

Added lines #L67 - L68 were not covered by tests

Check warning on line 72 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L71-L72

Added lines #L71 - L72 were not covered by tests

Check warning on line 75 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L75

Added line #L75 was not covered by tests

Check warning on line 80 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L80

Added line #L80 was not covered by tests

Check warning on line 83 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L83

Added line #L83 was not covered by tests

Check warning on line 88 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L88

Added line #L88 was not covered by tests

Check warning on line 91 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L91

Added line #L91 was not covered by tests

Check warning on line 98 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L97-L98

Added lines #L97 - L98 were not covered by tests

Check warning on line 100 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L100

Added line #L100 was not covered by tests

Check warning on line 103 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L103

Added line #L103 was not covered by tests

Check warning on line 106 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L106

Added line #L106 was not covered by tests

Check warning on line 113 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L110-L113

Added lines #L110 - L113 were not covered by tests

Check warning on line 116 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L116

Added line #L116 was not covered by tests

Check warning on line 119 in src/bdd/mod.rs

codecov / codecov/patch

src/bdd/mod.rs#L118-L119

Added lines #L118 - L119 were not covered by tests

View more details on Codecov