Ran
|
Jobs
9
|
Files
82
|
Run time
31min
|
Badge
Embed ▾
README BADGES
|
github
42 of 56 new or added lines in 3 files covered. (75.0%)
1 existing line in 1 file now uncovered.20226 of 23380 relevant lines covered (86.51%)
2.87 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
4 |
92.65 |
-1.9% | manticore/native/state.py |
10 |
77.46 |
-3.34% | manticore/native/manticore.py |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
91.25 |
-0.19% | manticore/core/manticore.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 518506847.1 | 67 |
37.99 |
||
2 | 518506847.2 | 62 |
39.8 |
||
3 | 518506847.3 | 67 |
63.78 |
||
4 | 518506847.4 | 67 |
25.38 |
||
5 | 518506847.5 | 58 |
48.29 |
||
6 | 518506847.6 | 67 |
24.66 |
||
7 | 518506847.7 | 67 |
17.79 |
||
8 | 518506847.8 | 67 |
35.83 |
||
9 | 518506847.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 |