add simple classification

1 files changed, 10 insertions, 2 deletions

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');
+  });
 });