From ea40425ef3683143c50bf4e600b8fb7dec4c807b Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Wed, 9 Nov 2022 15:41:45 +0100 Subject: explore-kconfig: add --random-int to set random integer values by default, "make randconfig" / "kconfig-conf --randconfig" leaves integers at their default values. This is not particularly helpful when benchmarking product lines whose performance attributes are affected by numeric features. --- bin/explore-kconfig.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'bin') diff --git a/bin/explore-kconfig.py b/bin/explore-kconfig.py index a43f37b..7341cdc 100755 --- a/bin/explore-kconfig.py +++ b/bin/explore-kconfig.py @@ -49,6 +49,11 @@ def main(): type=int, help="Explore a number of random configurations (make randconfig)", ) + parser.add_argument( + "--random-int", + action="store_true", + help="Randomize integers after running make randconfig", + ) parser.add_argument( "--with-neighbourhood", action="store_true", @@ -123,7 +128,7 @@ def main(): # Assumption: At least 1% of builds are successful for i in range(args.random * 100): logging.info(f"Running randconfig {num_successful+1} of {args.random}") - status = kconf.run_randconfig() + status = kconf.run_randconfig(with_random_int=args.random_int) if status["success"]: num_successful += 1 if args.with_neighbourhood and status["success"]: -- cgit v1.2.3