trailofbits / manticore / 691205859
86%
master: 86%

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

Pull #2414

github

GitHub 
Merge 3f43a9df1 into fd83be7a9
Pull Request #2414: Removed use of global solver from Memory

6 of 8 new or added lines in 1 file covered. (75.0%)

40 existing lines in 1 file now uncovered.

20251 of 23444 relevant lines covered (86.38%)

2.88 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
93.41
 0.42% manticore/native/memory.py

Uncovered Existing Lines

Lines Coverage ∆ File
40
78.99
 -9.18% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 691205859.1 62
39.82
2 691205859.2 67
38.03
3 691205859.3 59
48.31
4 691205859.4 67
25.43
5 691205859.5 67
63.85
6 691205859.6 67
24.69
7 691205859.7 67
17.84
8 691205859.8 67
35.89
9 691205859.9 67
24.68
Source Files on build 691205859