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.test.ts | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

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

diff --git a/pbt/ts/src/index.test.ts b/pbt/ts/src/index.test.ts
index b102fe3..f3a51e1 100644
--- a/pbt/ts/src/index.test.ts
+++ b/pbt/ts/src/index.test.ts
@@ -1,5 +1,8 @@
-import {prop_reverse_with_two_lists} from './index';
-import {Property} from './property';
+import {
+  prop_reverse_is_self_inverse,
+  prop_reverse_with_two_lists,
+} from './index';
+import {Property, classify} from './property';
 
 describe('testing lists reversal', () => {
   test('reverse of two appended lists is append of each list reversed', async () => {
@@ -8,4 +11,9 @@ describe('testing lists reversal', () => {
     );
     expect(reverse_append_result.result).toBe('OK');
   });
+  test('reverse is self-inverse', async () => {
+    const result = await Property.run(prop_reverse_is_self_inverse);
+    console.log(classify(result));
+    expect(result.result).toBe('OK');
+  });
 });
-- 
cgit v1.3.1