Ran
|
Files
67
|
Run time
145min
|
Badge
Embed ▾
README BADGES
|
github
14847 of 23238 relevant lines covered (63.89%)
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 | 182 | 0.0 | |
0.0 | manticore/ethereum/verifier.py | 510 | 229 | 0 | 229 | 0.0 | |
8.18 | manticore/native/state_merging.py | 226 | 110 | 9 | 101 | 1.0 | |
11.64 | manticore/ethereum/manticore.py | 1949 | 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 | 882 | 1.0 | |
18.99 | manticore/platforms/evm.py | 3536 + 13 | 1843 + 6 | 350 | 1493 + 6 | 1.0 | |
21.54 | manticore/ethereum/cli.py | 153 | 65 | 14 | 51 | 1.0 | |
22.3 | manticore/ethereum/plugins.py | 273 | 139 | 31 | 108 | 1.0 |