Ran
|
Files
67
|
Run time
1s
|
Badge
Embed ▾
README BADGES
|
push
github
15139 of 23790 relevant lines covered (63.64%)
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 - 170 | 229 + 170 | 0.0 - 1.0 | |
8.18 | manticore/native/state_merging.py | 226 | 110 | 9 + 9 | 101 - 9 | 1.0 + 1.0 | |
11.59 | manticore/ethereum/manticore.py | 1972 | 966 | 112 - 622 | 854 + 622 | 1.0 | |
14.17 | manticore/ethereum/abi.py | 392 | 247 | 35 - 192 | 212 + 192 | 1.0 | |
18.11 | manticore/wasm/executor.py | 1559 | 1077 | 195 | 882 | 1.0 | |
19.0 | manticore/platforms/evm.py | 3536 | 1842 | 350 - 1190 | 1492 + 1190 | 1.0 | |
21.54 | manticore/ethereum/cli.py | 153 | 65 | 14 - 42 | 51 + 42 | 1.0 | |
22.3 | manticore/ethereum/plugins.py | 273 | 139 | 31 - 80 | 108 + 80 | 1.0 |