diff --git a/ci/4_build_kernel.sh b/ci/4_build_kernel.sh index 10c946f..acbb40d 100755 --- 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 index 481ac44..1b5951a 100644 --- 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". -->