Ran
|
Jobs
15
|
Files
58
|
Run time
56min
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
90.91 |
src/reachability/ai2z.jl |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
66.67 |
0.0% | src\NeuralVerification.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 329.1 | 29 |
87.31 |
Travis Job 329.1 | |
2 | 329.2 | 29 |
87.31 |
Travis Job 329.2 | |
3 | 329.3 | 29 |
87.31 |
Travis Job 329.3 | |
4 | 329.4 | 29 |
86.83 |
Travis Job 329.4 | |
5 | 329.5 | 29 |
87.31 |
Travis Job 329.5 | |
6 | 329.6 | 29 |
87.31 |
Travis Job 329.6 | |
7 | 329.7 | 29 |
87.31 |
Travis Job 329.7 | |
8 | 329.8 | 29 |
86.83 |
Travis Job 329.8 | |
9 | 329.9 | 29 |
87.31 |
Travis Job 329.9 | |
10 | 329.10 | 29 |
87.31 |
Travis Job 329.10 | |
11 | 329.11 | 29 |
87.31 |
Travis Job 329.11 | |
12 | 329.12 | 29 |
86.83 |
Travis Job 329.12 | |
14 | 329.14 | 29 |
87.31 |
Travis Job 329.14 | |
17 | 329.17 | 29 |
87.31 |
Travis Job 329.17 | |
20 | 329.20 | 29 |
87.31 |
Travis Job 329.20 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|