trailofbits / manticore / 606296763
86%
master: 86%

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

Pull #2393

github

GitHub 
Merge 040bd6fca into d85a9a270
Pull Request #2393: WIP Testing dev expressions

5 of 8 new or added lines in 2 files covered. (62.5%)

19 existing lines in 1 file now uncovered.

20245 of 23419 relevant lines covered (86.45%)

2.87 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
3
84.29
 -5.38% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
19
84.29
 -5.38% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 606296763.1 67
37.96
2 606296763.2 62
39.7
3 606296763.3 59
48.21
4 606296763.4 67
63.82
5 606296763.5 67
25.35
6 606296763.6 67
17.78
7 606296763.7 67
24.58
8 606296763.8 67
35.9
9 606296763.9 67
24.62
Source Files on build 606296763