Ran
|
Jobs
3
|
Files
29
|
Run time
4min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
1 of 1 new or added line in 1 file covered. (100.0%)
1165 of 1342 relevant lines covered (86.81%)
10462.96 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
91.11 |
-0.35% | src/optimization/convDual.jl |
1 |
69.23 |
-0.77% | src/optimization/utils/objectives.jl |
1 |
72.31 |
1.12% | src/reachability/dlv.jl |
1 |
87.34 |
0.98% | src/reachability/utils/reachability.jl |
1 |
36.36 |
-3.64% | src/utils/activation.jl |
1 |
0.0 |
0.0% | src/utils/testing_utils.jl |
1 |
96.95 |
-0.27% | src/utils/util.jl |
2 |
87.74 |
-0.04% | src/optimization/planet.jl |
2 |
75.0 |
0.58% | src/optimization/reluplex.jl |
3 |
56.67 |
0.06% | src/optimization/bab.jl |
4 |
80.49 |
0.1% | src/optimization/utils/constraints.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 540.1 | 29 |
86.81 |
Travis Job 540.1 | |
2 | 540.2 | 29 |
86.81 |
Travis Job 540.2 | |
3 | 540.3 | 29 |
86.81 |
Travis Job 540.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|