void () { PropertyChecker.customized() .withIterationCount(1_000) .checkScenarios(() -> env -> { Generator<String> strings = Generator.stringsOf("a \n\r"); String initialText = env.generateValue(strings, null); int start = env.generateValue(Generator.integers(0, initialText.length()), null); int end = env.generateValue(Generator.integers(start, initialText.length()), null); String replacement = env.generateValue(strings, null); env.logMessage("checkIncrementalUpdate(\"" + StringUtil.escapeStringCharacters(initialText) + "\", " + start + ", " + end + ", \"" + StringUtil.escapeStringCharacters(replacement) + "\")"); checkIncrementalUpdate(initialText, start, end, replacement); }); }