Ran
|
Files
8
|
Run time
2min
|
Badge
README BADGES
|
push
github
1685 of 1780 relevant lines covered (94.66%)
1.68 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
91.14 | lib/src/datatypes/bdd.rs | 289 | 79 | 72 | 7 | 1.0 | |
93.05 | lib/src/adf.rs | 979 | 489 | 455 | 34 | 2.0 + 1.0 | |
93.21 | lib/src/obdd.rs | 858 | 427 | 398 | 29 | 1.0 | |
94.31 | lib/src/adfbiodivine.rs | 649 | 281 | 265 | 16 | 1.0 | |
95.98 | lib/src/parser.rs | 542 | 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 |