From c608d95a2451d110d3a90d6a3c3a6aa7fb293295 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Thu, 18 Dec 2025 14:33:48 +0100
Subject: Add some details to presenation

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

(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 f3a51e1..675f683 100644
--- a/pbt/ts/src/index.test.ts
+++ b/pbt/ts/src/index.test.ts
@@ -9,8 +9,11 @@ describe('testing lists reversal', () => {
     const reverse_append_result = await Property.run(
       prop_reverse_with_two_lists,
     );
+    console.log(reverse_append_result);
+    console.log(reverse_append_result.counterexample);
     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));
-- 
cgit v1.3.1