tree 5ae1e69edf43cc04506cf8785be3e315d7b225ea
parent 4f756900af47f4c13d84ecb9e91bba60cd1423e7
author Davide Pesavento <davide.pesavento@lip6.fr> 1500352732 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1500357560 -0400

encoding: generalize and simplify shouldSelectContiguousReadNumber()

Change-Id: Icb91ce3791f5093fbe5207e3be7e13d9d805243b
Refs: #4172