diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-09-24 10:10:50 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-09-24 10:10:50 +0200 |
| commit | d7be5114a144fd70f5dee5a9a57a2eac19eeea30 (patch) | |
| tree | eca28b614762d0d50df9cf0227833783be3bcaa1 /bin/explore-kconfig.py | |
| parent | ce11d3f77c7fb718124d54f6456b7a0d8f2ceaf0 (diff) | |
show failing and nop symbols
Diffstat (limited to 'bin/explore-kconfig.py')
| -rwxr-xr-x | bin/explore-kconfig.py | 3 |
1 files changed, 2 insertions, 1 deletions
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): |