Ran
|
Jobs
8
|
Files
56
|
Run time
61min
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
11 |
71.05 |
-28.95% | src/satisfiability/reluplex.jl |
11 |
71.05 |
-28.95% | src\satisfiability\reluplex.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 281.1 | 28 |
83.65 |
Travis Job 281.1 | |
2 | 281.2 | 28 |
87.24 |
Travis Job 281.2 | |
3 | 281.3 | 28 |
87.24 |
Travis Job 281.3 | |
4 | 281.4 | 28 |
83.65 |
Travis Job 281.4 | |
5 | 281.5 | 28 |
87.24 |
Travis Job 281.5 | |
7 | 281.7 | 28 |
83.65 |
Travis Job 281.7 | |
8 | 281.8 | 28 |
87.24 |
Travis Job 281.8 | |
9 | 281.9 | 28 |
87.24 |
Travis Job 281.9 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|