trailofbits / manticore / 706254679
86%
master: 86%

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

Pull #2415

github

GitHub 
Merge f1cb6b4f4 into 9bfb3acb6
Pull Request #2415: Basic solver stats

29 of 37 new or added lines in 3 files covered. (78.38%)

76 existing lines in 3 files now uncovered.

20263 of 23465 relevant lines covered (86.35%)

2.88 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
8
78.31
 -9.85% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
84.67
 -0.33% manticore/core/state.py
29
93.41
 0.42% manticore/native/memory.py
46
78.31
 -9.85% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 706254679.1 67
38.07
2 706254679.2 62
39.81
3 706254679.3 59
48.39
4 706254679.4 67
63.87
5 706254679.5 67
25.5
6 706254679.6 67
17.86
7 706254679.7 67
24.73
8 706254679.8 67
35.98
9 706254679.9 67
24.67
Source Files on build 706254679