From 13f2a4f28adc88ee82aa42b9d21ad457d27c2dbc Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Tue, 2 Dec 2025 14:56:14 +0100
Subject: rename fake/real matching property

---
 pbt/ts/src/bank.test.ts | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'pbt/ts/src')

diff --git a/pbt/ts/src/bank.test.ts b/pbt/ts/src/bank.test.ts
index d750d05..3b40573 100644
--- a/pbt/ts/src/bank.test.ts
+++ b/pbt/ts/src/bank.test.ts
@@ -66,7 +66,8 @@ const genOneOperation = (accounts: Map<Account, number>) =>
 const genOperations = (accounts: Map<Account, number>) =>
   listOf(genOneOperation(accounts));
 
-const correctBalance =
+/// Using fake bank as a model to compare with real bank
+const levelBankMatchFakeBank =
   (initialAccounts: Map<Account, number>) =>
   async (ops: Operation[]): Promise<boolean> => {
     const fakeBank = new SimpleBank(initialAccounts);
@@ -158,7 +159,10 @@ describe('Bank Simulator', () => {
 
   test('correctly update balance given a sequence of deposits and withdrawals', async () => {
     const prop = forall(genAccounts, accounts => {
-      return property(genOperations(accounts), correctBalance(accounts));
+      return property(
+        genOperations(accounts),
+        levelBankMatchFakeBank(accounts),
+      );
     });
 
     const result = await Property.run(prop);
-- 
cgit v1.3.1