Ran
|
Jobs
7
|
Files
78
|
Run time
4min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
19 of 19 new or added lines in 1 file covered. (100.0%)
7125 of 12510 relevant lines covered (56.95%)
3.98 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
18 |
56.17 |
0.28% | comb_spec_searcher/proof_tree.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 168.1 | 13 |
56.78 |
Travis Job 168.1 | |
2 | 168.2 | 13 |
56.92 |
Travis Job 168.2 | |
3 | 168.3 | 13 |
56.78 |
Travis Job 168.3 | |
4 | 168.4 | 13 |
56.92 |
Travis Job 168.4 | |
5 | 168.5 | 13 |
57.43 |
Travis Job 168.5 | |
6 | 168.6 | 13 |
57.29 |
Travis Job 168.6 | |
7 | 168.7 | 13 |
56.92 |
Travis Job 168.7 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|