trailofbits / manticore / 686926304
87%
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
686926304

Pull #2410

github

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

6 of 11 new or added lines in 2 files covered. (54.55%)

7 existing lines in 1 file now uncovered.

20287 of 23445 relevant lines covered (86.53%)

2.88 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
5
88.18
 -0.99% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
7
88.18
 -0.99% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 686926304.1 67
38.0
2 686926304.2 62
39.78
3 686926304.3 59
48.24
4 686926304.4 67
63.84
5 686926304.5 67
25.39
6 686926304.6 67
17.82
7 686926304.7 67
24.65
8 686926304.8 67
35.86
9 686926304.9 67
24.64
Source Files on build 686926304