Jmockit没有合并使用coverage-output = serial生成的两个coverage.ser文件

我有一个maven项目我使用参数-Dcoverage-output=serial运行junit。 每次运行后,我在相同父文件夹下的diffeerent文件夹中备份每个coverage.ser文件,然后运行ant任务生成覆盖率报告。 喜欢这个

    

JMockit正在生成覆盖率报告和index.html,但没有合并两个报告。 它似乎只使用第一个生成报告(哪个文件夹是ant构建文件中的参数中的第一个) coverage.ser

显然,Ant java任务不接受元素中的-D参数,而是需要使用 。 因此,任务应该如下使用: