diff options
| -rw-r--r-- | .gitlab-ci.yml | 2 | ||||
| -rw-r--r-- | examples/kconfig-static/Kconfig | 6 | ||||
| -rwxr-xr-x | examples/kconfig-static/nfpvalues.sh | 8 |
3 files changed, 15 insertions, 1 deletions
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'}}' |