diff options
Diffstat (limited to 'pbt/ts/src/property.ts')
| -rw-r--r-- | pbt/ts/src/property.ts | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pbt/ts/src/property.ts b/pbt/ts/src/property.ts index 40e32c5..a8c59ba 100644 --- a/pbt/ts/src/property.ts +++ b/pbt/ts/src/property.ts @@ -29,7 +29,6 @@ function findMinimalCounterExample<A>(x: A, let shrinks = depth; for (let y of xs) { if (!predicate(y)) { - console.log("Shrinking with " + y); let shrink = findMinimalCounterExample(y, predicate, shrinker, depth + 1); if (shrink.shrinks > depth) { counterexample = shrink.counterexample; @@ -58,7 +57,7 @@ export function property<A>( let x = gen(size); if (!predicate(x)) { let counterexample = findMinimalCounterExample(x, predicate, shrinker); - return { result: 'Falsified', tests: i, counterexample }; + return { result: 'Falsified', tests: i+1, counterexample }; } size++; } |