diff options
author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-04 11:41:19 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-04 11:41:19 +1000 |
commit | 0aa99a5f941b886597e7366be763dadc8c6db6dd (patch) | |
tree | e4baf24d169736b48d346835dc301945c73f89c9 /src/main/java/au/id/zancanaro/javacheck/Generators.java | |
parent | e0fc94269698982d937b80ff5fd5b1ef8ef28cf4 (diff) |
Clean up a bit of the ShrinkTree stuff, particularly for shrinking
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/Generators.java')
-rw-r--r-- | src/main/java/au/id/zancanaro/javacheck/Generators.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main/java/au/id/zancanaro/javacheck/Generators.java b/src/main/java/au/id/zancanaro/javacheck/Generators.java index e5699ac..9730bac 100644 --- a/src/main/java/au/id/zancanaro/javacheck/Generators.java +++ b/src/main/java/au/id/zancanaro/javacheck/Generators.java @@ -29,7 +29,7 @@ public final class Generators { * removed */ public static <T> Generator<T> noShrink(Generator<T> gen) { - return (random, size) -> ShrinkTree.pure(gen.generate(random, size).getValue()); + return gen.withShrinkStrategy(value -> Iterators.emptyIterator()); } @SafeVarargs @@ -230,7 +230,6 @@ public final class Generators { chars[i++] = c; } return String.valueOf(chars); -// return new String(chars); }); } } |