Pitest withHistory 文件存储在哪里？

Question

所以我在 Pitest 配置中使用-DwithHistory=true 函数。现在我想知道历史文件存储在哪里，以确保没有其他跑步者覆盖这个文件。

historyInputFile 和 historyOutputFile 在这种情况下不起作用。

知道 Pitest 在 GitLab 管道中运行可能很重要，因此历史文件可能存储在本地以外的其他地方。但事实并非如此。

关于如何找到文件位置的任何提示？

Answer 1

当没有提供明确的文件路径时，pitest 将创建一个名为

的文件

<groupid>.<artifactid>.<version>_pitest_history.bin

在java.io.tmpdir定义的目录中。在大多数类似 unix 的系统上，这将是 /tmp，但会因操作系统而异。