Skip to content

Commit

Permalink
Fix number of expected mutants for LLVM.
Browse files Browse the repository at this point in the history
  • Loading branch information
afd committed Jul 17, 2024
1 parent 9f6e4e9 commit c3add77
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/cxx_apps.sh
Original file line number Diff line number Diff line change
Expand Up @@ -183,7 +183,7 @@ pushd llvm-project
${DREDD_EXECUTABLE} --mutation-info-file mutation-info.json -p "${DREDD_ROOT}/llvm-project/build" "${FILES[@]}"
cmake --build build --target LLVMInstCombine
NUM_MUTANTS=`python3 ${DREDD_ROOT}/scripts/query_mutant_info.py mutation-info.json --largest-mutant-id`
EXPECTED_NUM_MUTANTS=98042
EXPECTED_NUM_MUTANTS=97924
if [ ${NUM_MUTANTS} -ne ${EXPECTED_NUM_MUTANTS} ]
then
echo "Found ${NUM_MUTANTS} mutants when mutating the LLVM source code. Expected ${EXPECTED_NUM_MUTANTS}. If Dredd changed recently, the expected value may just need to be updated, if it still looks sensible. Otherwise, there is likely a problem."
Expand Down

0 comments on commit c3add77

Please sign in to comment.