trailofbits / manticore / 690539248
87%
master: 86%

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

Pull #2410

github

GitHub 
Merge 814a7395f into fd69381a2
Pull Request #2410: Support to use boolector as the SMT solver

22 of 28 new or added lines in 3 files covered. (78.57%)

21 existing lines in 1 file now uncovered.

20299 of 23459 relevant lines covered (86.53%)

2.88 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
6
88.04
 -1.13% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
21
88.04
 -1.13% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 690539248.1 67
38.0
2 690539248.2 62
39.79
3 690539248.3 59
48.26
4 690539248.4 67
25.42
5 690539248.5 67
63.83
6 690539248.6 67
17.83
7 690539248.7 67
24.68
8 690539248.8 67
35.89
9 690539248.9 67
24.66
Source Files on build 690539248