trailofbits
/
manticore
/
220703783
86%
|
Ran
|
Jobs
9
|
Files
65
|
Run time
35min
|
Badge
Embed ▾
README BADGES
|
push
github
GitHub
6 of 7 new or added lines in 2 files covered. (85.71%)
49 existing lines in 3 files now uncovered.19688 of 23021 relevant lines covered (85.52%)
2.13 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
91.35 |
0.0% | manticore/core/smtlib/operators.py |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 3 |
82.17 |
-0.96% | manticore/core/workspace.py |
| 11 |
91.35 |
0.0% | manticore/core/smtlib/operators.py |
| 35 |
92.25 |
0.0% | manticore/core/smtlib/visitors.py |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 220703783.1 | 65 |
26.78 |
||
| 2 | 220703783.2 | 0 |
0.0 |
||
| 3 | 220703783.3 | 65 |
63.38 |
||
| 4 | 220703783.4 | 0 |
0.0 |
||
| 5 | 220703783.5 | 65 |
16.8 |
||
| 6 | 220703783.6 | 65 |
23.62 |
||
| 7 | 220703783.7 | 65 |
23.61 |
||
| 8 | 220703783.8 | 65 |
34.68 |
||
| 9 | 220703783.9 | 65 |
24.3 |
