mutation tests: activate all mutation ops (#2047)

* all

* clean

* cleaner

* WORKING

* test

* cleanup
This commit is contained in:
Maxime Desroches 2024-09-26 19:37:59 -07:00 committed by GitHub
parent b6644f7a35
commit 08c95bf47b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 3 deletions

View File

@ -6,10 +6,11 @@ cd $DIR
$DIR/install_mull.sh $DIR/install_mull.sh
scons --mutation -j$(nproc) -D
GIT_REF="${GIT_REF:-origin/master}" GIT_REF="${GIT_REF:-origin/master}"
echo -e "timeout: 10000\ngitDiffRef: $GIT_REF\ngitProjectRoot: ../../" > mull.yml GIT_ROOT=$(git rev-parse --show-toplevel)
echo -e "mutators:\n - cxx_all" > $GIT_ROOT/mull.yml
scons --mutation -j$(nproc) -D
echo -e "timeout: 10000\ngitDiffRef: $GIT_REF\ngitProjectRoot: $GIT_ROOT" >> $GIT_ROOT/mull.yml
SAFETY_MODELS=$(find * | grep "^test_.*\.py") SAFETY_MODELS=$(find * | grep "^test_.*\.py")
for safety_model in ${SAFETY_MODELS[@]}; do for safety_model in ${SAFETY_MODELS[@]}; do