trailofbits / manticore / 691194873
86%
master: 86%

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

Pull #2415

github

GitHub 
Merge 2da9e23d8 into fd83be7a9
Pull Request #2415: Basic solver stats

15 of 18 new or added lines in 2 files covered. (83.33%)

26 existing lines in 2 files now uncovered.

20308 of 23471 relevant lines covered (86.52%)

2.88 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
3
87.79
 -0.37% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
84.67
 -0.33% manticore/core/state.py
25
87.79
 -0.37% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 691194873.1 67
38.03
2 691194873.2 62
39.79
3 691194873.3 59
48.3
4 691194873.4 67
25.44
5 691194873.5 67
63.84
6 691194873.6 67
17.83
7 691194873.7 67
24.71
8 691194873.8 67
35.94
9 691194873.9 67
24.65
Source Files on build 691194873