diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/explore-kconfig.py | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/bin/explore-kconfig.py b/bin/explore-kconfig.py index e59db17..7602076 100755 --- a/bin/explore-kconfig.py +++ b/bin/explore-kconfig.py @@ -45,6 +45,11 @@ def main(): help="Explore a number of random configurations (make randconfig)", ) parser.add_argument( + "--with-neighbourhood", + action="store_true", + help="Explore neighbourhood of successful random configurations", + ) + parser.add_argument( "--clean-command", type=str, help="Clean command", default="make clean" ) parser.add_argument( @@ -90,7 +95,11 @@ def main(): if args.random: for i in range(args.random): logging.info(f"Running randconfig {i+1} of {args.random}") - kconf.run_randconfig() + status = kconf.run_randconfig() + if status["success"]: + config_filename = status["config_path"] + logging.info(f"Exploring neighbourhood of {config_filename}") + kconf.run_exploration_from_file(config_filename) if args.neighbourhood: if os.path.isfile(args.neighbourhood): |