diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-27 10:08:02 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-27 10:08:02 +0200 |
| commit | 2a9e7be2dcaa2f19ce520eb149f7ee53f9f3d7b3 (patch) | |
| tree | f3612f0ea1db17d2b3d24dcb7a7645e23fde2ace | |
| parent | 656e4a22c55cd785a8f6fe079adfb7d249f42e1e (diff) | |
explore-kconfig: fix off-by-one in randconfig exploration
| -rwxr-xr-x | bin/explore-kconfig.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/explore-kconfig.py b/bin/explore-kconfig.py index 95d251b..3dce524 100755 --- a/bin/explore-kconfig.py +++ b/bin/explore-kconfig.py @@ -114,7 +114,7 @@ def main(): kconf.run_exploration_from_file( config_filename, with_initial_config=False ) - if num_successful + 1 == args.random: + if num_successful == args.random: break if args.neighbourhood: |