tree 034f39d364f4d7a604c888d40afd96b0ff27d795
parent c6a65ad55ec7195b0319fe4a956b9d1760f6c8f8
author Davide Pesavento <davidepesa@gmail.com> 1553808925 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1553813207 -0400

tests+tools: minor code cleanup

Change-Id: Ic3356d4a18a8e5eeb45fc076fc0563c3d1549c8a