Ran
|
Files
67
|
Run time
41min
|
Badge
Embed ▾
README BADGES
|
push
github
8853 of 23287 relevant lines covered (38.02%)
0.38 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/decree.py | 1132 | 601 | 0 | 601 | 0.0 | |
0.0 | manticore/native/plugins.py | 127 | 46 | 0 | 46 | 0.0 | |
0.0 | manticore/platforms/wasm.py | 400 | 182 | 0 | 182 | 0.0 | |
0.0 | manticore/core/parser/parser.py | 356 | 159 | 0 | 159 | 0.0 | |
0.0 | manticore/native/state_merging.py | 226 | 110 | 0 | 110 | 0.0 | |
0.0 | manticore/binary/binary.py | 144 | 84 | 0 | 84 | 0.0 | |
0.0 | manticore/ethereum/verifier.py | 510 | 229 | 0 | 229 | 0.0 | |
0.0 | manticore/platforms/cgcrandom.py | 142 | 140 | 0 | 140 | 0.0 | |
8.96 | manticore/native/cpu/aarch64.py | 5408 | 2856 | 256 | 2600 | 1.0 |