trailofbits / manticore / 926199327
86%

DEFAULT BRANCH: master
Ran
Jobs 9
Files 83
Run time 30min
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
926199327

push

github

GitHub 
Portfolio of parallel solvers (#2420)

171 of 191 new or added lines in 2 files covered. (89.53%)

7 existing lines in 2 files now uncovered.

20611 of 23739 relevant lines covered (86.82%)

2.95 hits per line

Jobs
ID Job ID Ran Files Coverage
1 926199327.1 0
38.19
2 926199327.2 0
41.41
3 926199327.3 0
48.68
4 926199327.4 0
25.68
5 926199327.5 0
24.92
6 926199327.6 0
18.06
7 926199327.7 0
63.55
8 926199327.8 0
36.38
9 926199327.9 0
24.72
Source Files on build 926199327
Detailed source file information is not available for this build.