Lines Matching defs:creduce
57 "--no-creduce",
59 dest="creduce",
60 help="Do not run `creduce` on any buggy test case(s) discovered.")
137 if args.creduce:
138 creduce(args, input.name, result)
151 def creduce(args, failing_test_case, result):
154 print("Reducing failing test case with `creduce`...")
184 print("...nevermind, don't know how to `creduce` this bug. Skipping.")
209 creduce_command = ["creduce", "--n", str(os.cpu_count()), predicate_path, failing_test_case]
215 print("`creduce` reduced the failing test case to:")
224 print("`creduce` failed!")