trailofbits / manticore / 829123385
87%
master: 86%

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

Pull #2420

github

GitHub 
Merge 6d57e1807 into 809bc761f
Pull Request #2420: Portfolio of parallel solvers

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

124 existing lines in 2 files now uncovered.

20430 of 23603 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
119
80.29
 -0.04% manticore/ethereum/manticore.py
Jobs
ID Job ID Ran Files Coverage
1 829123385.1 62
39.79
2 829123385.2 67
38.24
3 829123385.3 67
63.71
4 829123385.4 67
25.55
5 829123385.5 59
48.65
6 829123385.6 67
24.81
7 829123385.7 67
18.07
8 829123385.8 67
36.32
9 829123385.9 67
24.74
Source Files on build 829123385