tree b0a822071fc38af9ae1dc851410e42388840b9bc
parent 1cce2a30141c3b1e3bc008372d458e5e7355282d
author Davide Pesavento <davide.pesavento@lip6.fr> 1493510793 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1493788472 -0400

ci: add generation of HTML coverage report using lcov

Copied from ndn-cxx

Change-Id: Ie8c08a570afe67c9eb232b37ad0038566ad49572