From: Alexander Popov <alex.popov@linux.com>
Date: Sun, 6 Oct 2024 19:15:21 +0000 (+0300)
Subject: Improve the functional test coverage
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=7177e618a80be9db80bd2d9755b5181921f966b2;p=kconfig-hardened-check.git

Improve the functional test coverage
---

diff --git a/.github/workflows/functional_test.sh b/.github/workflows/functional_test.sh
index fe23219..906e508 100644
--- a/.github/workflows/functional_test.sh
+++ b/.github/workflows/functional_test.sh
@@ -161,6 +161,11 @@ cp test.config error.config
 echo 'CONFIG_FOO=is not set' >> error.config
 coverage run -a --branch bin/kernel-hardening-checker -c error.config && exit 1
 
+echo ">>>>> kconfig option without a value (should emit a warning) <<<<<"
+cp test.config error.config
+echo 'CONFIG_FOO=' >> error.config
+coverage run -a --branch bin/kernel-hardening-checker -c error.config | grep "WARNING: found strange Kconfig option CONFIG_FOO with empty value"
+
 echo ">>>>> one config option multiple times <<<<<"
 cp test.config error.config
 echo 'CONFIG_BUG=y' >> error.config