trailofbits / manticore / 349627714
87%
master: 86%

LAST BUILD BRANCH: test-multiple-pythons
DEFAULT BRANCH: master
Ran
Jobs 9
Files 81
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
349627714

Pull #1820

github

GitHub 
Merge e112a0236 into c8e5e25d8
Pull Request #1820: Detect default solver

3 of 4 new or added lines in 1 file covered. (75.0%)

1 existing line in 1 file now uncovered.

20074 of 23207 relevant lines covered (86.5%)

2.81 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
88.28
 15.48% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
88.28
 15.48% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 349627714.1 66
33.22
2 349627714.2 61
39.48
3 349627714.3 57
48.13
4 349627714.4 66
63.8
5 349627714.5 66
25.13
6 349627714.6 66
17.52
7 349627714.7 66
24.42
8 349627714.8 66
24.42
9 349627714.9 66
35.6
Source Files on build 349627714