Ran
|
Jobs
2
|
Files
26
|
Run time
3min
|
Badge
Embed ▾
README BADGES
|
travis-ci
23 of 23 new or added lines in 2 files covered. (100.0%)
616 of 1029 relevant lines covered (59.86%)
43.72 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
92.31 |
22.31% | src/reachability/utils/reachability.jl |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
75.0 |
-25.0% | src/utils/network.jl |
2 |
63.64 |
-18.18% | src/utils/problem.jl |
3 |
34.29 |
-8.57% | src/adversarial/fastLip.jl |
4 |
61.54 |
-30.77% | src/optimization/nsVerify.jl |
4 |
61.54 |
-30.77% | src/optimization/mipVerify.jl |
4 |
56.1 |
-9.76% | src/optimization/iLP.jl |
4 |
42.86 |
-28.57% | src/optimization/utils/objectives.jl |
5 |
48.15 |
-9.26% | src/satisfiability/bab.jl |
5 |
60.0 |
-5.88% | src/optimization/utils/constraints.jl |
7 |
57.89 |
-36.84% | src/adversarial/fastLin.jl |
7 |
72.5 |
-17.5% | src/satisfiability/sherlock.jl |
8 |
71.43 |
-22.86% | src/optimization/duality.jl |
9 |
51.72 |
-15.52% | src/adversarial/dlv.jl |
11 |
65.71 |
-31.43% | src/reachability/maxSens.jl |
12 |
61.8 |
-13.48% | src/satisfiability/planet.jl |
13 |
45.16 |
-13.98% | src/adversarial/reluVal.jl |
14 |
42.31 |
-53.85% | src/optimization/certify.jl |
14 |
70.0 |
-23.33% | src/satisfiability/reluplex.jl |
14 |
51.35 |
-37.84% | src/optimization/utils/variables.jl |
22 |
64.18 |
-16.42% | src/utils/util.jl |
24 |
67.53 |
-31.17% | src/optimization/convDual.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 42.1 | 26 |
59.86 |
Travis Job 42.1 | |
3 | 42.3 | 26 |
59.86 |
Travis Job 42.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|