Ran
|
Jobs
13
|
Files
58
|
Run time
81min
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
93.33 |
2.42% | src/reachability/ai2.jl |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
93.33 |
2.42% | src\reachability\ai2.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 384.1 | 29 |
88.8 |
Travis Job 384.1 | |
2 | 384.2 | 29 |
88.8 |
Travis Job 384.2 | |
3 | 384.3 | 29 |
88.8 |
Travis Job 384.3 | |
4 | 384.4 | 29 |
88.35 |
Travis Job 384.4 | |
5 | 384.5 | 29 |
88.8 |
Travis Job 384.5 | |
6 | 384.6 | 29 |
88.8 |
Travis Job 384.6 | |
7 | 384.7 | 29 |
88.8 |
Travis Job 384.7 | |
9 | 384.9 | 29 |
88.8 |
Travis Job 384.9 | |
10 | 384.10 | 29 |
88.8 |
Travis Job 384.10 | |
11 | 384.11 | 29 |
88.8 |
Travis Job 384.11 | |
14 | 384.14 | 29 |
88.8 |
Travis Job 384.14 | |
17 | 384.17 | 29 |
88.8 |
Travis Job 384.17 | |
20 | 384.20 | 29 |
88.8 |
Travis Job 384.20 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|