trailofbits / manticore / 487923394
86%

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
487923394

push

github

GitHub 
Fix coveralls upload (#2387)

20073 of 23203 relevant lines covered (86.51%)

2.81 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
2
89.17
 -0.5% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 487923394.1 66
33.2
2 487923394.2 61
39.47
3 487923394.3 57
48.1
4 487923394.4 66
25.1
5 487923394.5 66
63.8
6 487923394.6 66
17.49
7 487923394.7 66
24.41
8 487923394.8 66
24.42
9 487923394.9 66
35.64
Source Files on build 487923394