Improve performance by avoiding init of index set#844

Merged

peterschrammel merged 1 commit intodiffblue:test-gen-supportfrom

allredj:test-gen-string-fix-199

May 14, 2017

Commits on May 11, 2017

Avoid initializing the index set if not needed diffblue/test-gen#199

romainbrenguier
authored and
allredj
committed