Ran
|
Jobs
12
|
Files
56
|
Run time
43min
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
88.57 |
1.27% | src/satisfiability/planet.jl |
2 |
88.57 |
1.27% | src\satisfiability\planet.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 260.1 | 28 |
84.96 |
Travis Job 260.1 | |
2 | 260.2 | 28 |
88.29 |
Travis Job 260.2 | |
3 | 260.3 | 28 |
88.29 |
Travis Job 260.3 | |
4 | 260.4 | 28 |
84.96 |
Travis Job 260.4 | |
5 | 260.5 | 28 |
88.29 |
Travis Job 260.5 | |
6 | 260.6 | 28 |
88.29 |
Travis Job 260.6 | |
7 | 260.7 | 28 |
84.96 |
Travis Job 260.7 | |
8 | 260.8 | 28 |
88.29 |
Travis Job 260.8 | |
9 | 260.9 | 28 |
88.29 |
Travis Job 260.9 | |
10 | 260.10 | 28 |
88.29 |
Travis Job 260.10 | |
12 | 260.12 | 28 |
88.29 |
Travis Job 260.12 | |
14 | 260.14 | 28 |
88.29 |
Travis Job 260.14 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|