tree 37555e9c8285c21afdb2723d992c375a7cdb3a1c
parent fbb6990abcf9097fbc6638dda375c4a04b1dc844
author Davide Pesavento <davidepesa@gmail.com> 1587865231 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1587875344 -0400

tests: rename integrated -> integration

And move benchmarks to their own subdir

Change-Id: I23460e1135b47d505eacf0571ced1cbf810b7680