Ran
|
Jobs
12
|
Files
54
|
Run time
36min
|
Badge
README BADGES
|
travis-ci
2 of 2 new or added lines in 1 file covered. (100.0%)
1428 of 1628 relevant lines covered (87.71%)
271.45 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
95.24 |
-4.76% | src/satisfiability/reluplex.jl |
2 |
95.24 |
-4.76% | src\satisfiability\reluplex.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 207.1 | 27 |
86.12 |
Travis Job 207.1 | |
2 | 207.2 | 27 |
89.31 |
Travis Job 207.2 | |
3 | 207.3 | 27 |
89.31 |
Travis Job 207.3 | |
4 | 207.4 | 27 |
86.12 |
Travis Job 207.4 | |
5 | 207.5 | 27 |
89.31 |
Travis Job 207.5 | |
6 | 207.6 | 27 |
89.31 |
Travis Job 207.6 | |
7 | 207.7 | 27 |
86.12 |
Travis Job 207.7 | |
8 | 207.8 | 27 |
89.31 |
Travis Job 207.8 | |
9 | 207.9 | 27 |
89.31 |
Travis Job 207.9 | |
10 | 207.10 | 27 |
89.31 |
Travis Job 207.10 | |
12 | 207.12 | 27 |
89.31 |
Travis Job 207.12 | |
14 | 207.14 | 27 |
89.31 |
Travis Job 207.14 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|