Ran
|
Jobs
14
|
Files
56
|
Run time
69min
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
97.33 |
-1.29% | src/utils/util.jl |
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
97.33 |
-1.29% | src\utils\util.jl |
3 |
90.48 |
0.23% | src\satisfiability\sherlock.jl |
6 |
88.51 |
0.0% | src\satisfiability\planet.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
2 | 372.2 | 28 |
87.0 |
Travis Job 372.2 | |
3 | 372.3 | 28 |
87.0 |
Travis Job 372.3 | |
4 | 372.4 | 28 |
86.7 |
Travis Job 372.4 | |
5 | 372.5 | 28 |
87.0 |
Travis Job 372.5 | |
6 | 372.6 | 28 |
87.0 |
Travis Job 372.6 | |
7 | 372.7 | 28 |
87.0 |
Travis Job 372.7 | |
8 | 372.8 | 28 |
86.7 |
Travis Job 372.8 | |
9 | 372.9 | 28 |
87.0 |
Travis Job 372.9 | |
10 | 372.10 | 28 |
87.0 |
Travis Job 372.10 | |
11 | 372.11 | 28 |
87.0 |
Travis Job 372.11 | |
12 | 372.12 | 28 |
86.7 |
Travis Job 372.12 | |
14 | 372.14 | 28 |
87.0 |
Travis Job 372.14 | |
17 | 372.17 | 28 |
87.0 |
Travis Job 372.17 | |
20 | 372.20 | 28 |
87.0 |
Travis Job 372.20 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|