Ran
|
Jobs
9
|
Files
83
|
Run time
32min
|
Badge
Embed ▾
README BADGES
|
github
20829 of 24092 relevant lines covered (86.46%)
2.95 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
74.24 |
-0.44% | manticore/ethereum/verifier.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 4750372642.1 | 67 |
40.39 |
||
2 | 4750372642.2 | 74 |
41.76 |
||
3 | 4750372642.3 | 59 |
48.75 |
||
4 | 4750372642.4 | 67 |
24.65 |
||
5 | 4750372642.5 | 67 |
17.78 |
||
6 | 4750372642.6 | 67 |
24.25 |
||
7 | 4750372642.7 | 67 |
35.91 |
||
8 | 4750372642.8 | 67 |
63.64 |
||
9 | 4750372642.9 | 67 |
24.09 |
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 | |
67.57 | manticore/platforms/linux_syscall_stubs.py | 1186 | 703 | 475 | 228 | 2.0 | |
71.43 | manticore/native/plugins.py | 143 | 56 | 40 | 16 | 1.0 | |
71.5 | manticore/platforms/linux.py | 4172 | 2130 | 1523 + 4 | 607 - 4 | 2.0 | |
74.24 | manticore/ethereum/verifier.py | 510 | 229 | 170 - 1 | 59 + 1 | 1.0 | |
76.0 | manticore/utils/nointerrupt.py | 31 | 25 | 19 | 6 | 8.0 |