From feb96481a177226d7d4a292299b2defafac17b82 Mon Sep 17 00:00:00 2001
From: Jonathan Foo <jonathanfoo0523@gmail.com>
Date: Fri, 12 Jul 2024 21:43:26 +0100
Subject: [PATCH] Fix: update spir-v mutant number

---
 .github/workflows/cxx_apps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/cxx_apps.sh b/.github/workflows/cxx_apps.sh
index e5e360e3..dd439e48 100755
--- a/.github/workflows/cxx_apps.sh
+++ b/.github/workflows/cxx_apps.sh
@@ -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."