trailofbits / manticore / 350280195
87%
master: 86%

LAST BUILD BRANCH: test-multiple-pythons
DEFAULT BRANCH: master
Ran
Jobs 9
Files 81
Run time 29min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
350280195

Pull #1808

github

GitHub 
Merge bb5c6be3b into be91243e8
Pull Request #1808: Manticore 0.3.5

20074 of 23203 relevant lines covered (86.51%)

2.81 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
3
89.17
 15.11% manticore/core/smtlib/solver.py
10
86.27
 -0.54% manticore/platforms/evm.py
167
86.7
 -0.16% manticore/native/cpu/x86.py
Jobs
ID Job ID Ran Files Coverage
1 350280195.1 66
33.22
2 350280195.2 61
39.48
3 350280195.3 57
48.14
4 350280195.4 66
63.81
5 350280195.5 66
25.13
6 350280195.6 66
24.42
7 350280195.7 66
17.51
8 350280195.8 66
24.39
9 350280195.9 66
35.61
Source Files on build 350280195