Skip to content

Commit

Permalink
Fix: update spir-v mutant number
Browse files Browse the repository at this point in the history
  • Loading branch information
JonathanFoo0523 committed Jul 12, 2024
1 parent 9f2d5ee commit feb9648
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 @@ -157,7 +157,7 @@ pushd SPIRV-Tools
./build/test/val/test_val_fghijklmnop
./build/test/val/test_val_rstuvw
NUM_MUTANTS=`python3 ${DREDD_ROOT}/scripts/query_mutant_info.py mutation-info.json --largest-mutant-id`
EXPECTED_NUM_MUTANTS=68821
EXPECTED_NUM_MUTANTS=68841
if [ ${NUM_MUTANTS} -ne ${EXPECTED_NUM_MUTANTS} ]
then
echo "Found ${NUM_MUTANTS} mutants when mutating the SPIR-V validator 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 feb9648

Please sign in to comment.