Ran
|
Jobs
12
|
Files
54
|
Run time
41min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
1 of 1 new or added line in 1 file covered. (100.0%)
1404 of 1606 relevant lines covered (87.42%)
267.75 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
87.3 |
-0.93% | src\satisfiability\planet.jl |
3 |
33.33 |
-21.21% | src/optimization/utils/objectives.jl |
3 |
33.33 |
-21.21% | src\optimization\utils\objectives.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 220.1 | 27 |
85.8 |
Travis Job 220.1 | |
2 | 220.2 | 27 |
89.03 |
Travis Job 220.2 | |
3 | 220.3 | 27 |
89.03 |
Travis Job 220.3 | |
4 | 220.4 | 27 |
85.8 |
Travis Job 220.4 | |
5 | 220.5 | 27 |
89.03 |
Travis Job 220.5 | |
6 | 220.6 | 27 |
89.03 |
Travis Job 220.6 | |
7 | 220.7 | 27 |
85.8 |
Travis Job 220.7 | |
8 | 220.8 | 27 |
89.03 |
Travis Job 220.8 | |
9 | 220.9 | 27 |
89.03 |
Travis Job 220.9 | |
10 | 220.10 | 27 |
89.03 |
Travis Job 220.10 | |
12 | 220.12 | 27 |
89.03 |
Travis Job 220.12 | |
14 | 220.14 | 27 |
89.03 |
Travis Job 220.14 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|