trailofbits / manticore / 691226614
86%
master: 86%

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

Pull #2415

github

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

16 of 19 new or added lines in 2 files covered. (84.21%)

4 existing lines in 2 files now uncovered.

20311 of 23472 relevant lines covered (86.53%)

2.88 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
3
88.29
 0.13% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
84.67
 -0.33% manticore/core/state.py
3
88.29
 0.13% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 691226614.1 62
39.8
2 691226614.2 67
38.03
3 691226614.3 59
48.3
4 691226614.4 67
25.44
5 691226614.5 67
63.85
6 691226614.6 67
17.83
7 691226614.7 67
24.71
8 691226614.8 67
35.95
9 691226614.9 67
24.68
Source Files on build 691226614