Ran
|
Jobs
1
|
Files
27
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
travis-ci
23 of 23 new or added lines in 2 files covered. (100.0%)
614 of 1041 relevant lines covered (58.98%)
22.21 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 |
1 |
50.0 |
-16.67% | src/NeuralVerification.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 |
13 |
45.16 |
-13.98% | src/adversarial/reluVal.jl |
13 |
60.67 |
-14.61% | src/satisfiability/planet.jl |
14 |
42.31 |
-53.85% | src/optimization/certify.jl |
14 |
51.35 |
-37.84% | src/optimization/utils/variables.jl |
17 |
69.49 |
-23.84% | src/satisfiability/reluplex.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 | |
---|---|---|---|---|---|
2 | 49.2 | 27 |
58.98 |
Travis Job 49.2 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|