tree 3ad1b476cbfd31d6847822497769521c14c88ecb
parent 13527ec3f7265c310e30d5b96b230c6a4784af06
author Davide Pesavento <davidepesa@gmail.com> 1578176044 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1578176044 -0500

tests: avoid deprecated boost headers

And some simplifications

Change-Id: I1acec66fb4096ed03ef1793b72256cc2aafdaf78