mAarnos
/
Serkr
/
70
96%
|
Ran
|
Jobs
3
|
Files
44
|
Run time
4min
|
Badge
Embed ▾
README BADGES
|
travis-ci
mAarnos2679 of 2777 relevant lines covered (96.47%)
4.96 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
100.0 |
utils/macros.rs | |
| 2 |
100.0 |
prover/proof_result.rs | |
| 3 |
100.0 |
prover/proof_search.rs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 70.1 | 0 |
96.36 |
Travis Job 70.1 | |
| 2 | 70.2 | 0 |
96.47 |
Travis Job 70.2 | |
| 3 | 70.3 | 0 |
96.5 |
Travis Job 70.3 |
Source Files on build 70
Detailed source file information is not available for this build.