diff options
| -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: |