tree ec14d41b0d9684699ec6f5cf7c040ff1a59c0dcd
parent f714c1fd8864959e041280935554045e6b2f1a9f
author Davide Pesavento <davide.pesavento@lip6.fr> 1491271908 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1492057719 -0400

ci: improve lcov HTML output

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

Change-Id: Ib8fd78a75cd79795795a040816da839775a11f53