trailofbits / manticore / 5770
50%
master: 86%

LAST BUILD BRANCH: test-multiple-pythons
DEFAULT BRANCH: master
Ran
Jobs 1
Files 54
Run time 7s
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
5770

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

Jobs
ID Job ID Ran Files Coverage
4 5770.4 (TEST_TYPE=native) 54
49.88
 Travis Job 5770.4
Source Files on build 5770