From fbfaafbc5711368234f9f92ad67ffa03f558a6fb Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Sun, 26 Jan 2025 09:10:02 +0100
Subject: Report reverse/reverse property

---
 pbt/ts/src/property.ts | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'pbt/ts/src/property.ts')

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++;
             }
-- 
cgit v1.2.3