Daniel Le Berre

hum, it looks similar to #35. Could you try the workaround described in that issue?

There should be a new upcoming version of `gocov-xml`. The fix needs to be updated to the latest version on master: https://github.com/AlekSi/gocov-xml/pull/4#issuecomment-385237188

I do not think that the same file is scanned twice. I would rather consider that in some cases, the statistics per file are added to sonar twice. It would...

Yep, that would be very useful for me, thanks 👍

Hi @danglotb My point was really the following. The current code generated by DSpot is: ``` IConstr o_testNoSolutionExists__5 = solver.addClause(clause); Assert.assertFalse(((OriginalBinaryClause) (o_testNoSolutionExists__5)).isSatisfied()); Assert.assertEquals(0.0, ((double) (((OriginalBinaryClause) (o_testNoSolutionExists__5)).getActivity())), 0.1); ``` Adding a...

Yep, looks good to me.

I just invited you to a private project "jbehavejunitreportingrunnerpbm" containing the code and tests allowing to reproduce the issue. With ant, just launch ``` ant m1 ```