From 03dd55c022c6077b50429b33f2889bbcec9f0435 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Tue, 2 Dec 2025 09:59:30 +0100
Subject: add simple classification

---
 pbt/ts/src/index.ts | 4 ++++
 1 file changed, 4 insertions(+)

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

diff --git a/pbt/ts/src/index.ts b/pbt/ts/src/index.ts
index 2f59f0e..7a58ffe 100644
--- a/pbt/ts/src/index.ts
+++ b/pbt/ts/src/index.ts
@@ -63,4 +63,8 @@ export const prop_reverse_is_self_inverse = property(
   listOf(someInt),
   reverse_is_self_inverse,
   shrinklist,
+  l => {
+    const tens = Math.floor(l.length / 10);
+    return '< ' + 10 * (tens + 1);
+  },
 );
-- 
cgit v1.3.1