Ran
|
Jobs
1
|
Files
83
|
Run time
7s
|
Badge
Embed ▾
README BADGES
|
push
github
20813 of 24092 relevant lines covered (86.39%)
2.94 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 7948812071.1 | 83 |
86.39 |
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 |