trailofbits
/
manticore
/
2747395112
86%
master: 86%
master: 86%
|
Ran
|
Jobs
9
|
Files
83
|
Run time
35min
|
Badge
Embed ▾
README BADGES
|
github
GitHub
54 of 90 new or added lines in 5 files covered. (60.0%)
7 existing lines in 5 files now uncovered.20841 of 24114 relevant lines covered (86.43%)
2.96 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 36 |
100.0 |
manticore/platforms/linux.py |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
100.0 |
manticore/core/manticore.py | |
| 1 |
100.0 |
manticore/core/smtlib/visitors.py | |
| 1 |
100.0 |
manticore/native/cpu/x86.py | |
| 2 |
100.0 |
manticore/ethereum/verifier.py | |
| 2 |
100.0 |
manticore/utils/emulate.py |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 2747395112.1 | 0 |
40.41 |
||
| 2 | 2747395112.2 | 0 |
48.76 |
||
| 3 | 2747395112.3 | 0 |
24.65 |
||
| 4 | 2747395112.4 | 0 |
41.45 |
||
| 5 | 2747395112.5 | 0 |
17.78 |
||
| 6 | 2747395112.6 | 0 |
24.26 |
||
| 7 | 2747395112.7 | 0 |
63.5 |
||
| 8 | 2747395112.8 | 0 |
25.42 |
||
| 9 | 2747395112.9 | 0 |
36.07 |
