trailofbits / manticore / 1446096687
87%
master: 86%

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

Pull #2502

github

GitHub 
Merge fdce40a49 into 6e036f303
Pull Request #2502: Update Regex in Solver.py

20693 of 23847 relevant lines covered (86.77%)

2.95 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
71
89.04
 0.76% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 1446096687.1 67
38.26
2 1446096687.2 67
25.62
3 1446096687.3 74
41.51
4 1446096687.4 59
48.57
5 1446096687.5 67
18.01
6 1446096687.6 67
24.89
7 1446096687.7 67
63.62
8 1446096687.8 67
36.36
9 1446096687.9 67
24.71
Source Files on build 1446096687