trailofbits / manticore / 817726078
87%
master: 86%

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

Pull #2420

github

GitHub 
Merge a39e1c438 into eb4f208fe
Pull Request #2420: Portfolio of parallel solvers

155 of 171 new or added lines in 2 files covered. (90.64%)

5 existing lines in 1 file now uncovered.

20428 of 23600 relevant lines covered (86.56%)

2.89 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
16
88.54
 10.1% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
5
88.54
 10.1% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 817726078.1 67
38.24
2 817726078.2 62
39.8
3 817726078.3 67
63.72
4 817726078.4 59
48.64
5 817726078.5 67
25.55
6 817726078.6 67
24.8
7 817726078.7 67
18.07
8 817726078.8 67
24.74
9 817726078.9 67
36.33
Source Files on build 817726078