tree 5835d5aad1369cf4a47a1bf141fb70e896ad91f3
parent 2150da8ee59fb2edbb3e90bc53f7baac1601db7d
author Davide Pesavento <davidepesa@gmail.com> 1658726103 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1658726103 -0400

tests: minor code cleanups

Change-Id: I9759ba4b7eb467d4d1df4b379efad91bc4f5cc3a