Ran
|
Jobs
7
|
Files
156
|
Run time
164min
|
Badge
Embed ▾
README BADGES
|
travis-ci
62 of 62 new or added lines in 1 file covered. (100.0%)
14271 of 24838 relevant lines covered (57.46%)
4.02 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
49 |
57.9 |
-1.48% | comb_spec_searcher/proof_tree.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 174.1 | 13 |
57.4 |
Travis Job 174.1 | |
2 | 174.2 | 13 |
57.26 |
Travis Job 174.2 | |
3 | 174.3 | 13 |
57.26 |
Travis Job 174.3 | |
4 | 174.4 | 13 |
57.26 |
Travis Job 174.4 | |
5 | 174.5 | 13 |
57.77 |
Travis Job 174.5 | |
6 | 174.6 | 13 |
57.91 |
Travis Job 174.6 | |
7 | 174.7 | 13 |
57.4 |
Travis Job 174.7 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|