Add some details to presenation

1 files changed, 3 insertions, 0 deletions

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));