trailofbits / manticore / 347448156 / 1
86%
master: 86%

DEFAULT BRANCH: master
Ran
Files 61
Run time 5s
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
coverage: 39.479% (+6.3%) from 33.133%
347448156.1

push

github

GitHub 
Ignore Gas Calculations by Default (#1816)

7499 of 18995 relevant lines covered (39.48%)

0.39 hits per line

Source Files on job 347448156.1