Ran
|
Files
66
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
push
github
14633 of 22932 relevant lines covered (63.81%)
0.64 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | manticore/utils/command_line.py | 42 | 18 | 0 | 18 | 0.0 | |
0.0 | manticore/platforms/wasm.py | 400 | 182 | 0 - 134 | 182 + 134 | 0.0 - 1.0 | |
0.0 | manticore/ethereum/verifier.py | 504 | 229 | 0 | 229 | 0.0 | |
8.18 | manticore/native/state_merging.py | 226 | 110 | 9 + 9 | 101 - 9 | 1.0 + 1.0 | |
11.64 | manticore/ethereum/manticore.py | 1946 | 954 | 111 | 843 | 1.0 | |
14.17 | manticore/ethereum/abi.py | 392 | 247 | 35 | 212 | 1.0 | |
18.11 | manticore/wasm/executor.py | 1559 | 1077 | 195 - 788 | 882 + 788 | 1.0 | |
19.07 | manticore/platforms/evm.py | 3516 | 1835 | 350 | 1485 | 1.0 | |
21.54 | manticore/ethereum/cli.py | 153 | 65 | 14 + 14 | 51 - 14 | 1.0 + 1.0 | |
22.3 | manticore/ethereum/plugins.py | 273 | 139 | 31 + 31 | 108 - 31 | 1.0 + 1.0 |