diff options
| -rw-r--r-- | .gitlab-ci.yml | 2 | ||||
| -rw-r--r-- | README.md | 2 | ||||
| -rw-r--r-- | lib/kconfig.py | 2 |
3 files changed, 2 insertions, 4 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d62d9e3..0133864 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -43,7 +43,7 @@ make_benchmark: script: - mkdir kconfig-static-data - cd kconfig-static-data - - ../bin/explore-kconfig.py --log-level debug --random 5 --with-neighbourhood ${PWD}/../examples/kconfig-static + - ../bin/explore-kconfig.py --log-level debug --random 5 --with-neighbourhood ../examples/kconfig-static - DFATOOL_DTREE_IGNORE_IRRELEVANT_PARAMS=0 DFATOOL_KCONF_WITH_CHOICE_NODES=0 ../bin/analyze-kconfig.py --export-webconf example-static-rmt.json ../examples/kconfig-static/Kconfig . - cp ../examples/kconfig-static/Kconfig example-static.kconfig artifacts: @@ -37,8 +37,6 @@ Now, you can use `.../dfatool/bin/explore-kconfig.py` to benchmark the non-funct .../dfatool/bin/explore-kconfig.py --log-level debug --random 500 --with-neighbourhood .../my-project ``` -Note that my-project must be an absolute path. - This will benchmark 500 random configurations and additionaly explore the neighbourhood of each configuration by toggling boolean variables and exploring the range of int/hex variables. Ternary features (y/m/n, as employed by the Linux kernel) are not supported. The benchmark results (configurations and corresponding non-functional properties) are placed in the current working directory. diff --git a/lib/kconfig.py b/lib/kconfig.py index fe077a5..c8434f2 100644 --- a/lib/kconfig.py +++ b/lib/kconfig.py @@ -80,7 +80,7 @@ class ExploreConfig(AttributeExperiment): class KConfig: def __init__(self, working_directory): - self.cwd = working_directory + self.cwd = os.path.abspath(working_directory) self.clean_command = "make clean" self.build_command = "make" self.attribute_command = "make attributes" |