tree a19a02ff95d6536f50ed31c3c47c9a97efa5abfc
parent c050c74b3078c21a0111a20142d0b161b10a6507
author Yi Kong <yikong@google.com> 1453219616 +0000
committer Yi Kong <yikong@google.com> 1453222739 +0000

Fix test_select

This is a do-while loop, we need to check for loop invariant here.

Bug: 26632332
Change-Id: I018e19fa52c013acffaa37886aa6918b26ca3dba