Ran
|
Files
4
|
Run time
21min
|
Badge
README BADGES
|
push
github
54 of 54 relevant lines covered (100.0%)
4.67 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
100.0 | src/Option/None.php | 288 + 1 | 23 | 23 | 0 | 4.0 | |
100.0 | src/Option/OptionException.php | 18 | 1 | 1 | 0 | 1.0 | |
100.0 | src/Option.php | 271 | 6 | 6 | 0 | 1.0 | |
100.0 | src/Option/Some.php | 295 | 24 - 1 | 24 - 1 | 0 | 6.0 + 1.0 |