trailofbits
/
manticore
/
922975731
86%
|
Ran
|
Jobs
9
|
Files
83
|
Run time
25min
|
Badge
Embed ▾
README BADGES
|
push
github
GitHub
1 of 1 new or added line in 1 file covered. (100.0%)
11 existing lines in 3 files now uncovered.20471 of 23591 relevant lines covered (86.77%)
2.94 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
86.38 |
0.11% | manticore/platforms/evm.py |
| 4 |
90.35 |
-0.94% | manticore/ethereum/detectors.py |
| 5 |
92.87 |
-0.78% | manticore/core/smtlib/visitors.py |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 922975731.1 | 67 |
38.01 |
||
| 2 | 922975731.2 | 59 |
48.39 |
||
| 3 | 922975731.3 | 74 |
41.43 |
||
| 4 | 922975731.4 | 67 |
25.59 |
||
| 5 | 922975731.5 | 67 |
17.82 |
||
| 6 | 922975731.6 | 67 |
24.82 |
||
| 7 | 922975731.7 | 67 |
24.62 |
||
| 8 | 922975731.8 | 67 |
36.04 |
||
| 9 | 922975731.9 | 67 |
63.7 |
