Ran
|
Jobs
9
|
Files
81
|
Run time
28min
|
Badge
Embed ▾
README BADGES
|
github
9 of 11 new or added lines in 4 files covered. (81.82%)
636 existing lines in 13 files now uncovered.20073 of 23210 relevant lines covered (86.48%)
2.81 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
94.79 |
-0.03% | manticore/native/cpu/aarch64.py |
1 |
93.4 |
-0.1% | manticore/native/cpu/arm.py |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
94.25 |
0.0% | manticore/core/plugin.py |
1 |
92.59 |
0.0% | manticore/native/cpu/disasm.py |
3 |
89.17 |
15.11% | manticore/core/smtlib/solver.py |
3 |
83.23 |
-0.97% | manticore/core/workspace.py |
6 |
89.01 |
0.0% | manticore/__main__.py |
17 |
74.67 |
0.0% | manticore/ethereum/verifier.py |
29 |
91.22 |
-0.19% | manticore/core/manticore.py |
35 |
92.25 |
0.0% | manticore/core/smtlib/visitors.py |
43 |
89.03 |
0.02% | manticore/native/cpu/abstractcpu.py |
71 |
59.07 |
0.0% | manticore/platforms/decree.py |
76 |
80.29 |
0.0% | manticore/ethereum/manticore.py |
169 |
86.62 |
-0.24% | manticore/native/cpu/x86.py |
182 |
86.27 |
-0.54% | manticore/platforms/evm.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 428580434.1 | 66 |
33.21 |
||
2 | 428580434.2 | 61 |
39.48 |
||
3 | 428580434.3 | 57 |
48.11 |
||
4 | 428580434.4 | 66 |
25.08 |
||
5 | 428580434.5 | 66 |
63.8 |
||
6 | 428580434.6 | 66 |
24.39 |
||
7 | 428580434.7 | 66 |
17.48 |
||
8 | 428580434.8 | 66 |
35.58 |
||
9 | 428580434.9 | 66 |
24.39 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|