From d2ecfe629a4228197529456ecfcd6644c9b4f4bc Mon Sep 17 00:00:00 2001 From: gmlwns2000 Date: Mon, 7 Mar 2022 21:30:55 +0900 Subject: [PATCH] fuzz: fix clipboard error... --- tests/fuzz.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/tests/fuzz.py b/tests/fuzz.py index 2607fb8..8db20f2 100644 --- a/tests/fuzz.py +++ b/tests/fuzz.py @@ -269,7 +269,13 @@ if __name__ == "__main__": parser.add_argument('--easy', action='store_true', help="Generate more easy code by csmith option") parser.add_argument('--seed', type=int, help="Provide seed of fuzz generation", default=-1) args = parser.parse_args() - "--inline-function-prob", "10", + + if args.print and args.irgen: + raise Exception("Choose an option used for fuzzing: '--print' or '--irgen', NOT both") + + if args.print: + fuzz_arg = "-p" + elif args.irgen: fuzz_arg = "-i" else: raise Exception("Specify fuzzing argument")