From 2a9e7be2dcaa2f19ce520eb149f7ee53f9f3d7b3 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Tue, 27 Sep 2022 10:08:02 +0200 Subject: explore-kconfig: fix off-by-one in randconfig exploration --- bin/explore-kconfig.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: -- cgit v1.2.3