trailofbits / manticore / 1136905937
87%
master: 86%

LAST BUILD BRANCH: test-multiple-pythons
DEFAULT BRANCH: master
Ran
Jobs 9
Files 83
Run time 32min
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
1136905937

Pull #2479

github

GitHub 
Merge 5227be424 into 36b3024ff
Pull Request #2479: Track parent in StateDescriptors

20628 of 23773 relevant lines covered (86.77%)

2.95 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
2
89.29
 -0.31% manticore/core/smtlib/solver.py
8
94.18
 0.05% manticore/core/plugin.py
Jobs
ID Job ID Ran Files Coverage
1 1136905937.1 67
38.2
2 1136905937.2 74
41.45
3 1136905937.3 67
25.61
4 1136905937.4 59
48.55
5 1136905937.5 67
24.87
6 1136905937.6 67
18.03
7 1136905937.7 67
63.53
8 1136905937.8 67
24.66
9 1136905937.9 67
36.36
Source Files on build 1136905937