trailofbits
/
manticore
/
611679277
87%
master: 86%
master: 86%
|
Ran
|
Jobs
9
|
Files
82
|
Run time
31min
|
Badge
Embed ▾
README BADGES
|
github
GitHub
224 of 248 new or added lines in 9 files covered. (90.32%)
20280 of 23435 relevant lines covered (86.54%)
2.87 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
91.9 |
manticore/ethereum/abi.py | |
| 1 |
80.29 |
manticore/ethereum/manticore.py | |
| 2 |
91.35 |
manticore/core/smtlib/operators.py | |
| 2 |
92.87 |
manticore/core/smtlib/visitors.py | |
| 18 |
91.77 |
manticore/core/smtlib/expression.py |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 611679277.1 | 67 |
37.98 |
||
| 2 | 611679277.2 | 62 |
39.79 |
||
| 3 | 611679277.3 | 67 |
25.37 |
||
| 4 | 611679277.4 | 59 |
48.22 |
||
| 5 | 611679277.5 | 67 |
63.83 |
||
| 6 | 611679277.6 | 67 |
17.81 |
||
| 7 | 611679277.7 | 67 |
24.65 |
||
| 8 | 611679277.8 | 67 |
35.84 |
||
| 9 | 611679277.9 | 67 |
24.6 |
