Ran
|
Files
3
|
Run time
0s
|
Badge
README BADGES
|
push
github
180 of 201 relevant lines covered (89.55%)
26.76 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
78.57 | src/utils.ml | 63 + 8 | 28 + 1 | 22 + 1 | 6 | 39.0 - 1.0 | |
83.33 | src/arg_type.ml | 74 | 36 | 30 | 6 | 76.0 + 1.0 | |
93.43 | src/deriver.ml | 272 | 137 | 128 | 9 | 17.0 + 1.0 |