context =
new FuzzingContext(new Random(123), TestConfig.getConfig(), true);
BinaryExprFuzzer fuzzer =
new BinaryExprFuzzer(context);
leaveOneSubtype(fuzzer.getOwnConfig(), types[i]);
Node node = fuzzer.generate(budget);
String code = BinaryExprFuzzer.getPrettyCode(node).trim();
assertNotSame(-1, code.indexOf(" " + operators[i] + " "));
}
}