diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2021-10-11 16:28:55 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2021-10-11 16:28:55 +0200 |
| commit | 2757121f9c2a63acb4493e2faf8bb608064ffbf4 (patch) | |
| tree | df15b626f497e06b5c6464872b86098cbf62b1ee /bin/explore-kconfig.py | |
| parent | 9d1f18cd4e71a97202064079c43121d540faf422 (diff) | |
kconfig: explore neighbourhood of int nodes
Diffstat (limited to 'bin/explore-kconfig.py')
| -rwxr-xr-x | bin/explore-kconfig.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/explore-kconfig.py b/bin/explore-kconfig.py index 1de7f0d..c4dcbff 100755 --- a/bin/explore-kconfig.py +++ b/bin/explore-kconfig.py @@ -101,7 +101,9 @@ def main(): if args.with_neighbourhood and status["success"]: config_filename = status["config_path"] logging.info(f"Exploring neighbourhood of {config_filename}") - kconf.run_exploration_from_file(config_filename) + kconf.run_exploration_from_file( + config_filename, with_initial_config=False + ) if args.neighbourhood: # TODO also explore range of numeric options |