trailofbits / manticore / 708752139
86%
master: 86%

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

Pull #2415

github

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

30 of 38 new or added lines in 3 files covered. (78.95%)

76 existing lines in 3 files now uncovered.

20264 of 23466 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 708752139.1 67
38.07
2 708752139.2 62
39.81
3 708752139.3 59
48.4
4 708752139.4 67
63.87
5 708752139.5 67
25.49
6 708752139.6 67
17.86
7 708752139.7 67
24.73
8 708752139.8 67
36.01
9 708752139.9 67
24.66
Source Files on build 708752139