Ran
|
Files
8
|
Run time
3s
|
Badge
README BADGES
|
push
github
1684 of 1777 relevant lines covered (94.77%)
1.68 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
91.14 | lib/src/datatypes/bdd.rs | 284 | 79 | 72 | 7 | 1.0 | |
93.05 | lib/src/adf.rs | 979 + 60 | 489 + 27 | 455 + 18 | 34 + 9 | 2.0 + 1.0 | |
93.63 | lib/src/obdd.rs | 825 | 424 | 397 | 27 | 1.0 | |
94.31 | lib/src/adfbiodivine.rs | 647 | 281 | 265 | 16 | 1.0 | |
95.98 | lib/src/parser.rs | 536 | 224 | 215 | 9 | 1.0 | |
100.0 | lib/src/datatypes/adf.rs | 422 | 177 | 177 | 0 | 1.0 | |
100.0 | lib/src/obdd/vectorize.rs | 28 | 6 | 6 | 0 | 1.0 | |
100.0 | lib/src/test.rs | 173 | 97 | 97 | 0 | 1.0 |