trailofbits / manticore / 687372601
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
687372601

Pull #2410

github

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

22 of 29 new or added lines in 3 files covered. (75.86%)

31 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
7
88.04
 -1.13% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
31
88.04
 -1.13% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 687372601.1 67
38.0
2 687372601.2 62
39.79
3 687372601.3 67
25.42
4 687372601.4 67
63.83
5 687372601.5 59
48.26
6 687372601.6 67
17.83
7 687372601.7 67
24.68
8 687372601.8 67
35.92
9 687372601.9 67
24.66
Source Files on build 687372601