trailofbits
/
manticore
/
2373715417
86%
master: 86%
master: 86%
|
Ran
|
Jobs
9
|
Files
83
|
Run time
75min
|
Badge
Embed ▾
README BADGES
|
push
github
Eric Kilmer
21 of 63 new or added lines in 2 files covered. (33.33%)
2 existing lines in 1 file now uncovered.20781 of 24024 relevant lines covered (86.5%)
2.96 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 42 |
100.0 |
manticore/platforms/linux.py |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
100.0 |
manticore/core/smtlib/solver.py |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 2373715417.1 | 0 |
40.41 |
||
| 2 | 2373715417.2 | 0 |
48.65 |
||
| 3 | 2373715417.3 | 0 |
24.69 |
||
| 4 | 2373715417.4 | 0 |
17.81 |
||
| 5 | 2373715417.5 | 0 |
41.49 |
||
| 6 | 2373715417.6 | 0 |
63.49 |
||
| 7 | 2373715417.7 | 0 |
24.3 |
||
| 8 | 2373715417.8 | 0 |
36.14 |
||
| 9 | 2373715417.9 | 0 |
25.47 |
