Ran
|
Files
67
|
Run time
3s
|
Badge
Embed ▾
README BADGES
|
push
github
9562 of 23790 relevant lines covered (40.19%)
0.4 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | manticore/platforms/wasm.py | 400 | 182 | 0 | 182 | 0.0 | |
0.0 | manticore/utils/command_line.py | 42 | 18 | 0 | 18 | 0.0 | |
0.0 | manticore/native/plugins.py | 143 | 56 | 0 | 56 | 0.0 | |
0.0 | manticore/platforms/cgcrandom.py | 142 | 140 | 0 | 140 | 0.0 | |
0.0 | manticore/core/parser/parser.py | 356 | 159 | 0 | 159 | 0.0 | |
0.0 | manticore/platforms/decree.py | 1132 | 601 | 0 | 601 | 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/native/state_merging.py | 226 | 110 | 0 | 110 | 0.0 | |
9.28 | manticore/native/cpu/aarch64.py | 5374 | 2801 | 260 | 2541 | 1.0 |