Ran
|
Jobs
9
|
Files
58
|
Run time
41min
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
97.89 |
src/adversarial/neurify.jl | |
2 |
96.83 |
6.3% | src/adversarial/reluVal.jl |
2 |
95.83 |
-4.17% | src/reachability/utils/reachability.jl |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
66.67 |
0.0% | src\NeuralVerification.jl |
1 |
64.29 |
-7.14% | src/utils/flux.jl |
1 |
64.29 |
-7.14% | src\utils\flux.jl |
2 |
96.83 |
6.3% | src\adversarial\reluVal.jl |
2 |
86.36 |
-1.73% | src/optimization/iLP.jl |
2 |
86.36 |
-1.73% | src\optimization\iLP.jl |
2 |
95.83 |
-4.17% | src\reachability\utils\reachability.jl |
2 |
97.2 |
-0.13% | src\utils\util.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
2 | 416.2 | 29 |
88.12 |
Travis Job 416.2 | |
3 | 416.3 | 29 |
88.12 |
Travis Job 416.3 | |
4 | 416.4 | 29 |
87.84 |
Travis Job 416.4 | |
6 | 416.6 | 29 |
88.12 |
Travis Job 416.6 | |
7 | 416.7 | 29 |
88.12 |
Travis Job 416.7 | |
8 | 416.8 | 29 |
87.84 |
Travis Job 416.8 | |
10 | 416.10 | 29 |
88.12 |
Travis Job 416.10 | |
11 | 416.11 | 29 |
88.12 |
Travis Job 416.11 | |
12 | 416.12 | 29 |
87.84 |
Travis Job 416.12 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|