Hey,
Sorry for not reporting back!
Those tools worked great to get coverage metrics out of the standard coverage format that Golang produces.
But...
I was unable to get the metrics to be reported into Sonar, since Sonar ALSO needs a Golang plugin (which probably includes the Abstract Syntax Tree, etc), and according to them (I contacted their support team): "There's no support for Golang planned at this time"
On the bright side...
- The metrics generated by those tools CAN be consumed by a few Jenkins' plugins that read the formats that the tools can convert to (JUnit, etc), and report them on the project dashboard within Jenkins
Let me know if you have other questions!
Cheers,
Christian