From 2757121f9c2a63acb4493e2faf8bb608064ffbf4 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Mon, 11 Oct 2021 16:28:55 +0200 Subject: kconfig: explore neighbourhood of int nodes --- bin/explore-kconfig.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'bin') 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 -- cgit v1.2.3