Ran
|
Jobs
15
|
Files
56
|
Run time
81min
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
96.88 |
2.0% | src/optimization/duality.jl |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
97.67 |
2.8% | src/optimization/utils/variables.jl |
2 |
92.59 |
-7.41% | src/reachability/maxSens.jl |
3 |
83.33 |
-8.33% | src/optimization/nsVerify.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 314.1 | 28 |
87.31 |
Travis Job 314.1 | |
2 | 314.2 | 28 |
87.31 |
Travis Job 314.2 | |
3 | 314.3 | 28 |
87.31 |
Travis Job 314.3 | |
4 | 314.4 | 28 |
86.77 |
Travis Job 314.4 | |
5 | 314.5 | 28 |
87.31 |
Travis Job 314.5 | |
6 | 314.6 | 28 |
87.31 |
Travis Job 314.6 | |
7 | 314.7 | 28 |
87.31 |
Travis Job 314.7 | |
8 | 314.8 | 28 |
86.77 |
Travis Job 314.8 | |
9 | 314.9 | 28 |
87.31 |
Travis Job 314.9 | |
10 | 314.10 | 28 |
87.31 |
Travis Job 314.10 | |
11 | 314.11 | 28 |
87.31 |
Travis Job 314.11 | |
12 | 314.12 | 28 |
86.77 |
Travis Job 314.12 | |
14 | 314.14 | 28 |
87.31 |
Travis Job 314.14 | |
17 | 314.17 | 28 |
87.31 |
Travis Job 314.17 | |
20 | 314.20 | 28 |
87.31 |
Travis Job 314.20 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|