Ran
|
Jobs
17
|
Files
65
|
Run time
172min
|
Badge
README BADGES
|
push
github
6 of 7 new or added lines in 2 files covered. (85.71%)
19691 of 23021 relevant lines covered (85.53%)
3.63 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
91.35 |
-0.4% | manticore/core/smtlib/operators.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 217013261.1 | 65 |
26.78 |
||
2 | 217013261.2 | 0 |
0.0 |
||
3 | 217013261.3 | 0 |
0.0 |
||
4 | 217013261.4 | 65 |
16.8 |
||
5 | 217013261.5 | 65 |
23.62 |
||
6 | 217013261.6 | 65 |
23.61 |
||
7 | 217013261.7 | 65 |
24.31 |
||
8 | 217013261.8 | 65 |
34.69 |
||
9 | 217013261.9 | 65 |
26.78 |
||
10 | 217013261.10 | 0 |
0.0 |
||
11 | 217013261.11 | 65 |
63.38 |
||
12 | 217013261.12 | 0 |
0.0 |
||
13 | 217013261.13 | 65 |
16.8 |
||
14 | 217013261.14 | 65 |
23.61 |
||
15 | 217013261.15 | 65 |
23.62 |
||
16 | 217013261.16 | 65 |
34.69 |
||
17 | 217013261.17 | 65 |
24.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|