diff options
Diffstat (limited to 'pbt/ts/src/index.test.ts')
| -rw-r--r-- | pbt/ts/src/index.test.ts | 3 |
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)); |