Ran
|
Jobs
11
|
Files
58
|
Run time
108min
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
62.5 |
0.0% | src\NeuralVerification.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
2 | 517.2 | 29 |
85.85 |
Travis Job 517.2 | |
3 | 517.3 | 29 |
85.85 |
Travis Job 517.3 | |
4 | 517.4 | 29 |
85.46 |
Travis Job 517.4 | |
6 | 517.6 | 29 |
85.85 |
Travis Job 517.6 | |
7 | 517.7 | 29 |
85.85 |
Travis Job 517.7 | |
8 | 517.8 | 29 |
85.46 |
Travis Job 517.8 | |
10 | 517.10 | 29 |
85.85 |
Travis Job 517.10 | |
11 | 517.11 | 29 |
85.85 |
Travis Job 517.11 | |
12 | 517.12 | 29 |
85.46 |
Travis Job 517.12 | |
15 | 517.15 | 29 |
86.76 |
Travis Job 517.15 | |
18 | 517.18 | 29 |
86.76 |
Travis Job 517.18 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|