From a8c27de3f4434d8a08e953b95b47a4161f9473ed Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sat, 29 Nov 2025 09:07:09 +0100 Subject: start simple bank example --- pbt/ts/src/index.test.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 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 58f5119..1ad1cb0 100644 --- a/pbt/ts/src/index.test.ts +++ b/pbt/ts/src/index.test.ts @@ -1,9 +1,9 @@ -import { prop_reverse_with_two_lists } from './index'; -import { Property } from './property'; +import {prop_reverse_with_two_lists} from './index'; +import {Property} from './property'; describe('testing lists reversal', () => { test('reverse of two appended lists is append of each list reversed', () => { let reverse_append_result = Property.run(prop_reverse_with_two_lists); - expect(reverse_append_result).toBe(true); + expect(reverse_append_result.result).toBe('OK'); }); }); -- cgit v1.3.1