trailofbits
/
manticore
/
1740172811
87%
master: 86%
master: 86%
|
Ran
|
Jobs
9
|
Files
83
|
Run time
77min
|
Badge
Embed ▾
README BADGES
|
github
GitHub
20698 of 23880 relevant lines covered (86.68%)
2.95 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
67.56 |
-0.14% | manticore/platforms/linux_syscall_stubs.py |
| 2 |
89.22 |
-0.31% | manticore/core/smtlib/solver.py |
| 3 |
88.91 |
-0.59% | manticore/native/cpu/abstractcpu.py |
| 13 |
84.46 |
-8.78% | manticore/utils/fallback_emulator.py |
| 36 |
77.78 |
0.25% | manticore/utils/emulate.py |
| 236 |
86.29 |
-0.22% | manticore/native/cpu/x86.py |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 1740172811.1 | 67 |
38.3 |
||
| 2 | 1740172811.2 | 59 |
48.54 |
||
| 3 | 1740172811.3 | 67 |
24.85 |
||
| 4 | 1740172811.4 | 67 |
17.97 |
||
| 5 | 1740172811.5 | 74 |
41.51 |
||
| 6 | 1740172811.6 | 67 |
36.3 |
||
| 7 | 1740172811.7 | 67 |
63.64 |
||
| 8 | 1740172811.8 | 67 |
25.59 |
||
| 9 | 1740172811.9 | 67 |
24.64 |
