X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=.github%2Fworkflows%2Fmain.yml;h=2ccf6f2ae543181bc4c4e566e4d041cdead1ebd4;hb=4444990311f188c65b7c48d66a5f346e39d33f63;hp=6e13ca8d34e4009611ba8b4642bbc099f968cd5f;hpb=7795e4a60e3bad577754e36eaf04024bbc3358c0;p=kconfig-hardened-check.git diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6e13ca8..2ccf6f2 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -87,6 +87,7 @@ jobs: do COUNT=$(expr $COUNT + 1) echo -e "\n>>>>> checking config number $COUNT <<<<<" + coverage run -a --branch bin/kconfig-hardened-check -c $C coverage run -a --branch bin/kconfig-hardened-check -c $C -l /proc/cmdline coverage run -a --branch bin/kconfig-hardened-check -c $C -l /proc/cmdline -m verbose > /dev/null coverage run -a --branch bin/kconfig-hardened-check -c $C -l /proc/cmdline -m json @@ -130,6 +131,16 @@ jobs: 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 ">>>>> one config option multiple times <<<<<" + cp test.config error.config + echo 'CONFIG_BUG=y' >> error.config + ! coverage run -a --branch bin/kconfig-hardened-check -c error.config + + echo ">>>>> multi-line cmdline file <<<<<" + echo 'hey man 1' > cmdline + echo 'hey man 2' >> cmdline + ! coverage run -a --branch bin/kconfig-hardened-check -c test.config -l cmdline + - name: Prepare final coverage report run: | coverage xml -i -o coverage.xml