trailofbits / manticore / 734197531
87%
master: 86%

LAST BUILD BRANCH: test-multiple-pythons
DEFAULT BRANCH: master
Ran
Jobs 9
Files 82
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
734197531

Pull #2420

github

GitHub 
Merge 73e15080d into b4d129f8b
Pull Request #2420: Portfolio of parallel solvers

156 of 172 new or added lines in 2 files covered. (90.7%)

4 existing lines in 2 files now uncovered.

20417 of 23579 relevant lines covered (86.59%)

2.89 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
16
89.72
 10.74% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
85.0
 0.0% manticore/core/state.py
3
89.72
 10.74% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 734197531.1 62
39.81
2 734197531.2 67
38.2
3 734197531.3 67
63.69
4 734197531.4 59
48.18
5 734197531.5 67
25.48
6 734197531.6 67
24.77
7 734197531.7 67
18.05
8 734197531.8 67
36.25
9 734197531.9 67
24.73
Source Files on build 734197531