+ sed '28 s/is not set/is not set yet/' test.config > error.config
+ ! coverage run -a --branch bin/kconfig-hardened-check -c error.config
+
+ echo ">>>>> invalid enabled kconfig option <<<<<"
+ cp test.config error.config
+ echo 'CONFIG_FOO=is not set' >> error.config
+ ! coverage run -a --branch bin/kconfig-hardened-check -c error.config
+
+ echo ">>>>> one config option multiple times <<<<<"
+ cp test.config error.config
+ echo 'CONFIG_BUG=y' >> error.config