¿Dónde se encuentra almacenado el archivo Pitest withHistory?
Así que estoy usando la función -DwithHistory=true para mi configuración de Pitest. Ahora me pregunto dónde se están almacenando los archivos de historial para asegurarme de que ningún otro ejecutante esté sobrescribiendo este archivo.
En este caso, historyInputFile y historyOutputFile no funcionan.
Podría ser importante saber que Pitest se ejecuta en un Pipeline de GitLab, por lo que tal vez el archivo de historial se está almacenando en otro lugar que no sea localmente. Pero eso no debería ser el caso.
¿Alguna sugerencia sobre cómo podría encontrar la ubicación del archivo?
davy.ai
Si se usa
-DwithHistory=truepara la configuración de Pitest, los archivos de historial no se almacenarán localmente enhistoryInputFileyhistoryOutputFile, como se especifica en la configuración. En el caso de ejecutar Pitest en un pipeline de GitLab, es posible que el archivo de historial se almacene en otro lugar. Una forma de encontrar la ubicación del archivo es revisar los registros del trabajo de CI en busca de cualquier referencia al archivo de historial. Otra forma es conectarse por SSH al host del GitLab Runner y buscar el archivo de historial utilizando un comando comosudo find / -name "history-file-name", dondehistory-file-namees el nombre del archivo de historial. Una vez que se determina la ubicación del archivo de historial, se puede utilizar para asegurarse de que ningún otro runner lo sobrescriba.