tree ef9271c1c98c3649ef765030dee0d0baad11e988
parent b3a23ca7112aa0866e6538ec779a6ccf526195f8
author Davide Pesavento <davidepesa@gmail.com> 1557607925 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1557607925 -0400

pit-fib-benchmark: remove gap4 and simplify

Refs: #4929
Change-Id: Iebe064ace48a78aa88449c17f08a9522935448f0