From c58ebc7703eed57c57b66bf153608e2f58969b64 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Wed, 25 May 2022 09:16:54 +0200 Subject: toy example: Add non-choice configuration options --- .gitlab-ci.yml | 2 +- examples/kconfig-static/Kconfig | 6 ++++++ examples/kconfig-static/nfpvalues.sh | 8 ++++++++ 3 files changed, 15 insertions(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3d27c07..5a856bc 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -43,7 +43,7 @@ make_benchmark: script: - mkdir -p kconfig-static-data models - cd kconfig-static-data - - ../bin/explore-kconfig.py --log-level debug --random 5 --with-neighbourhood ../examples/kconfig-static + - ../bin/explore-kconfig.py --log-level debug --random 10 --with-neighbourhood ../examples/kconfig-static - DFATOOL_DTREE_IGNORE_IRRELEVANT_PARAMS=0 DFATOOL_KCONF_WITH_CHOICE_NODES=0 ../bin/analyze-kconfig.py --export-webconf ../models/example-static-rmt-b.json --export-raw-predictions ../models/example-static-rmt-b-eval.json ../examples/kconfig-static/Kconfig . - DFATOOL_DTREE_IGNORE_IRRELEVANT_PARAMS=0 DFATOOL_KCONF_WITH_CHOICE_NODES=1 ../bin/analyze-kconfig.py --export-webconf ../models/example-static-rmt-nb.json --export-raw-predictions ../models/example-static-rmt-nb-eval.json ../examples/kconfig-static/Kconfig . - cp ../examples/kconfig-static/Kconfig ../models/example-static.kconfig diff --git a/examples/kconfig-static/Kconfig b/examples/kconfig-static/Kconfig index 1b02bac..8d6fa64 100644 --- a/examples/kconfig-static/Kconfig +++ b/examples/kconfig-static/Kconfig @@ -1,3 +1,9 @@ +config XP23 +bool "X += 23" + +config YP42 +bool "Y += 42" + choice prompt "pi or tau?" diff --git a/examples/kconfig-static/nfpvalues.sh b/examples/kconfig-static/nfpvalues.sh index 574aa47..fc41085 100755 --- a/examples/kconfig-static/nfpvalues.sh +++ b/examples/kconfig-static/nfpvalues.sh @@ -19,4 +19,12 @@ if [ "$CONFIG_Y4" = y ]; then Y=4 fi +if [ "$CONFIG_XP23" = y ]; then + X=$((X+23)) +fi + +if [ "$CONFIG_YP42" = y ]; then + Y=$((Y+42)) +fi + echo '{"Synthetic": {"X": '$X', "Y": '$Y'}}' -- cgit v1.2.3