From d7be5114a144fd70f5dee5a9a57a2eac19eeea30 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Thu, 24 Sep 2020 10:10:50 +0200 Subject: show failing and nop symbols --- bin/explore-kconfig.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'bin/explore-kconfig.py') diff --git a/bin/explore-kconfig.py b/bin/explore-kconfig.py index 7602076..5b4bdc6 100755 --- a/bin/explore-kconfig.py +++ b/bin/explore-kconfig.py @@ -96,12 +96,13 @@ def main(): for i in range(args.random): logging.info(f"Running randconfig {i+1} of {args.random}") status = kconf.run_randconfig() - if status["success"]: + 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) if args.neighbourhood: + # TODO also explore range of numeric options if os.path.isfile(args.neighbourhood): kconf.run_exploration_from_file(args.neighbourhood) elif os.path.isdir(args.neighbourhood): -- cgit v1.2.3