Ran
|
Jobs
15
|
Files
56
|
Run time
54min
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
93.33 |
2.42% | src/reachability/ai2.jl |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
66.67 |
0.0% | src\NeuralVerification.jl |
1 |
93.33 |
2.42% | src\reachability\ai2.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 349.1 | 28 |
87.37 |
Travis Job 349.1 | |
2 | 349.2 | 28 |
87.37 |
Travis Job 349.2 | |
3 | 349.3 | 28 |
87.37 |
Travis Job 349.3 | |
4 | 349.4 | 28 |
86.86 |
Travis Job 349.4 | |
5 | 349.5 | 28 |
87.37 |
Travis Job 349.5 | |
6 | 349.6 | 28 |
87.37 |
Travis Job 349.6 | |
7 | 349.7 | 28 |
87.37 |
Travis Job 349.7 | |
8 | 349.8 | 28 |
86.86 |
Travis Job 349.8 | |
9 | 349.9 | 28 |
87.37 |
Travis Job 349.9 | |
10 | 349.10 | 28 |
87.37 |
Travis Job 349.10 | |
11 | 349.11 | 28 |
87.37 |
Travis Job 349.11 | |
12 | 349.12 | 28 |
86.86 |
Travis Job 349.12 | |
14 | 349.14 | 28 |
87.37 |
Travis Job 349.14 | |
17 | 349.17 | 28 |
87.37 |
Travis Job 349.17 | |
20 | 349.20 | 28 |
87.37 |
Travis Job 349.20 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|