tree 441acd892d1144a39a7447e8ec91b2d4eddef77c
parent 339161aca3603f2766481219c721281fa6df9858
author Davide Pesavento <davide.pesavento@lip6.fr> 1493512425 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1493512425 -0400

ci: improve lcov HTML output

In particular, demangle C++ symbols in the function coverage view.

Change-Id: I882a88fda77c468e26b935ad6088b4254e875151