sisl
/
NeuralVerification.jl
/
132
88%
master: 87%
master: 87%
|
Ran
|
Jobs
6
|
Files
27
|
Run time
48min
|
Badge
Embed ▾
README BADGES
|
travis-ci
web-flow93 of 93 new or added lines in 17 files covered. (100.0%)
716 of 812 relevant lines covered (88.18%)
284.39 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
93.06 |
4.4% | src/adversarial/reluVal.jl |
| 1 |
93.1 |
-1.18% | src/optimization/duality.jl |
| 1 |
54.55 |
-16.88% | src/optimization/utils/objectives.jl |
| 1 |
57.14 |
-0.26% | src/satisfiability/bab.jl |
| 2 |
83.33 |
-5.56% | src/optimization/utils/variables.jl |
| 3 |
86.49 |
0.44% | src/optimization/iLP.jl |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
92.31 |
-3.85% | src/optimization/certify.jl |
| 1 |
57.14 |
-0.26% | src/satisfiability/bab.jl |
| 1 |
88.89 |
-1.36% | src/satisfiability/sherlock.jl |
| 1 |
80.0 |
-20.0% | src/NeuralVerification.jl |
| 1 |
93.1 |
-1.18% | src/optimization/duality.jl |
| 2 |
83.33 |
-5.56% | src/optimization/utils/variables.jl |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 132.1 | 27 |
85.96 |
Travis Job 132.1 | |
| 2 | 132.2 | 27 |
89.66 |
Travis Job 132.2 | |
| 3 | 132.3 | 27 |
85.96 |
Travis Job 132.3 | |
| 4 | 132.4 | 27 |
89.66 |
Travis Job 132.4 | |
| 5 | 132.5 | 27 |
89.66 |
Travis Job 132.5 | |
| 6 | 132.6 | 27 |
89.66 |
Travis Job 132.6 |
