trailofbits / manticore / 719991069
86%
master: 86%

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

Pull #2415

github

GitHub 
Merge 713b76828 into 47326e688
Pull Request #2415: Basic solver stats

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

139 existing lines in 3 files now uncovered.

20263 of 23468 relevant lines covered (86.34%)

2.88 hits per line

New Missed Lines in Diff

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

Uncovered Existing Lines

Lines Coverage ∆ File
1
84.67
 -0.33% manticore/core/state.py
4
78.31
 -0.68% manticore/core/smtlib/solver.py
134
80.33
 0.04% manticore/ethereum/manticore.py
Jobs
ID Job ID Ran Files Coverage
1 719991069.1 62
39.81
2 719991069.2 67
38.07
3 719991069.3 67
63.87
4 719991069.4 59
48.4
5 719991069.5 67
25.48
6 719991069.6 67
24.74
7 719991069.7 67
17.86
8 719991069.8 67
36.0
9 719991069.9 67
24.67
Source Files on build 719991069