trailofbits / manticore / 690554981
87%
master: 86%

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

Pull #2410

github

GitHub 
Merge ed92193ed 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%)

34 existing lines in 1 file now uncovered.

20299 of 23458 relevant lines covered (86.53%)

2.88 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
6
88.25
 -0.92% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
34
88.25
 -0.92% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 690554981.1 67
38.0
2 690554981.2 62
39.79
3 690554981.3 67
63.83
4 690554981.4 67
25.41
5 690554981.5 59
48.27
6 690554981.6 67
17.83
7 690554981.7 67
24.68
8 690554981.8 67
24.66
9 690554981.9 67
35.9
Source Files on build 690554981