Ran
|
Files
4
|
Run time
0s
|
Badge
README BADGES
|
push
155 of 162 relevant lines covered (95.68%)
1338734.43 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
94.05 | src/array_map.ml | 129 + 118 | 84 + 81 | 79 + 76 | 5 + 5 | 1825606.0 + 1825605 | |
97.44 | src/trie.ml | 212 + 203 | 78 + 75 | 76 + 73 | 2 + 2 | 955948.0 + 955947 | |
100.0 | src/array_char_trie.ml | 1 - 28 | 0 - 13 | 0 - 5 | 0 - 8 | 0.0 - 3200 | |
100.0 | src/char_trie.ml | 3 - 12 | 0 - 8 | 0 - 6 | 0 - 2 | 0.0 - 1.0 |