mirror of
https://github.com/jlengrand/error-prone-support.git
synced 2026-03-10 08:11:25 +00:00
c57653dd5b
This script executes Pitest to determine the code base' mutation test coverage. The set of tests executed can optionally be restricted by name. The results are found in each Maven module's `target/pit-reports` directory.
22 lines
547 B
Bash
Executable File
22 lines
547 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
# Executes Pitest to determine the code base' mutation test coverage. The set
|
|
# of tests executed can optionally be restricted by name. The results are found
|
|
# in each Maven module's `target/pit-reports` directory.
|
|
|
|
set -e -u -o pipefail
|
|
|
|
if [ "${#}" -gt 1 ]; then
|
|
echo "Usage: ./$(basename "${0}") [TargetTests]"
|
|
exit 1
|
|
fi
|
|
|
|
targetTests=${1:-*}
|
|
|
|
mvn clean test pitest:mutationCoverage \
|
|
-DargLine.xmx=2048m \
|
|
-Dverification.skip \
|
|
-DfailIfNoTests=false \
|
|
-Dtest="${targetTests}" \
|
|
-DtargetTests="${targetTests}"
|