Ran
|
Jobs
9
|
Files
83
|
Run time
6s
|
Badge
Embed ▾
README BADGES
|
push
github
20826 of 24092 relevant lines covered (86.44%)
2.94 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
74.67 |
0.44% | manticore/ethereum/verifier.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 6560583254.1 | 67 |
40.39 |
||
2 | 6560583254.2 | 74 |
41.76 |
||
3 | 6560583254.3 | 67 |
24.64 |
||
4 | 6560583254.4 | 59 |
48.72 |
||
5 | 6560583254.5 | 67 |
24.25 |
||
6 | 6560583254.6 | 67 |
17.78 |
||
7 | 6560583254.7 | 67 |
63.62 |
||
8 | 6560583254.8 | 67 |
35.92 |
||
9 | 6560583254.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.31 | manticore/platforms/linux.py | 4172 | 2130 | 1519 | 611 | 2.0 | |
71.43 | manticore/native/plugins.py | 143 | 56 | 40 | 16 | 1.0 | |
74.67 | manticore/ethereum/verifier.py | 510 | 229 | 171 + 1 | 58 - 1 | 1.0 | |
76.0 | manticore/utils/nointerrupt.py | 31 | 25 | 19 | 6 | 8.0 |