Ran
|
Jobs
9
|
Files
82
|
Run time
25min
|
Badge
Embed ▾
README BADGES
|
github
84 of 99 new or added lines in 3 files covered. (84.85%)
11 existing lines in 2 files now uncovered.20262 of 23416 relevant lines covered (86.53%)
2.87 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
4 |
81.58 |
0.77% | manticore/native/manticore.py |
11 |
89.17 |
-5.37% | manticore/native/state.py |
Lines | Coverage | ∆ | File |
---|---|---|---|
4 |
89.17 |
-5.37% | manticore/native/state.py |
7 |
81.58 |
0.77% | manticore/native/manticore.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 522303063.1 | 67 |
37.97 |
||
2 | 522303063.2 | 62 |
39.77 |
||
3 | 522303063.3 | 67 |
25.34 |
||
4 | 522303063.4 | 59 |
48.19 |
||
5 | 522303063.5 | 67 |
63.84 |
||
6 | 522303063.6 | 67 |
24.62 |
||
7 | 522303063.7 | 67 |
35.84 |
||
8 | 522303063.8 | 67 |
17.76 |
||
9 | 522303063.9 | 67 |
24.61 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | manticore/utils/command_line.py | 42 | 18 | 0 | 18 | 0.0 | |
8.18 | manticore/native/state_merging.py | 226 | 110 | 9 | 101 | 1.0 | |
59.07 | manticore/platforms/decree.py | 1132 | 601 | 355 | 246 | 1.0 | |
63.52 | manticore/core/parser/parser.py | 356 | 159 | 101 | 58 | 1.0 | |
64.49 | manticore/utils/helpers.py | 213 | 107 | 69 | 38 | 6.0 | |
66.19 | manticore/ethereum/plugins.py | 273 | 139 | 92 | 47 | 2.0 | |
67.71 | manticore/platforms/linux_syscall_stubs.py | 1189 | 706 | 478 | 228 | 2.0 | |
72.31 | manticore/ethereum/cli.py | 153 | 65 | 47 | 18 | 2.0 | |
72.5 | manticore/utils/emulate.py | 401 | 200 | 145 | 55 | 1.0 | |
74.67 | manticore/ethereum/verifier.py | 510 | 229 | 171 | 58 | 1.0 |