ci, docs: set max to 6

xlab-uiuc · Jul 3, 2024 · 5913fa3 · 5913fa3
1 parent d062a0b
commit 5913fa3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/ci/4_build_kernel.sh b/ci/4_build_kernel.sh
@@ -21,7 +21,7 @@ make LLVM=1 olddefconfig
 
 ./scripts/config -e CONFIG_LLVM_COV_KERNEL
 ./scripts/config -e CONFIG_LLVM_COV_KERNEL_MCDC
-./scripts/config --set-val LLVM_COV_KERNEL_MCDC_MAX_CONDITIONS 44
+./scripts/config --set-val LLVM_COV_KERNEL_MCDC_MAX_CONDITIONS 6
 make LLVM=1 olddefconfig
 
 cat << EOF

diff --git a/docs/measure-kernel-mcdc.md b/docs/measure-kernel-mcdc.md
@@ -163,7 +163,7 @@ groups of options:
     ```shell
     ./scripts/config -e CONFIG_LLVM_COV_KERNEL
     ./scripts/config -e CONFIG_LLVM_COV_KERNEL_MCDC
-    ./scripts/config --set-val LLVM_COV_KERNEL_MCDC_MAX_CONDITIONS 44
+    ./scripts/config --set-val LLVM_COV_KERNEL_MCDC_MAX_CONDITIONS 6
     make LLVM=1 olddefconfig
     ```
 
@@ -198,7 +198,7 @@ All should print "y".
 
   ./scripts/config -s LLVM_COV_KERNEL_MCDC_MAX_CONDITIONS
 
-It should print "44".
+It should print "6".
 
 -->