trailofbits / manticore / 5770 / 4
50%
master: 86%

LAST BUILD BRANCH: test-multiple-pythons
DEFAULT BRANCH: master
Ran
Files 54
Run time 6s
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: 49.883%. First build
TEST_TYPE=native

Pull #1372

travis-ci

disconnect3d 
Inline EVM's get_possible_solutions

This was an internal function used just once and it was recreated each
time the _consume was executed which can be slow.
Pull Request #1372: Inline EVM's get_possible_solutions

258 of 516 branches covered (50.0%)

Branch coverage included in aggregate %.

1023 of 2052 relevant lines covered (49.85%)

2.38 hits per line

Source Files on job 5770.4 (TEST_TYPE=native)