test(ERTP): balance {x, y, z} >= {z}

Agoric · Oct 22, 2024 · 8b885fa · 8b885fa
1 parent b121160
commit 8b885fa
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/packages/ERTP/test/unitTests/mathHelpers/copySetMathHelpers.test.js b/packages/ERTP/test/unitTests/mathHelpers/copySetMathHelpers.test.js
@@ -1,6 +1,7 @@
 import { test } from '@agoric/swingset-vat/tools/prepare-test-env-ava.js';
 import { getCopySetKeys, makeCopySet } from '@agoric/store';
 
+import { Far } from '@endo/far';
 import { AmountMath as m, AssetKind } from '../../../src/index.js';
 import { mockCopySetBrand as mockBrand } from './mockBrand.js';
 
@@ -291,3 +292,16 @@ test('copySet with strings subtract', t => {
     `['a', 'b'] - ['a'] = ['a']`,
   );
 });
+
+const mockHandle = iface => Far(iface, {});
+
+test('balance {x, y, z} >= {z}', t => {
+  const x = { instance: mockHandle('Foo'), description: 'fraz' };
+  const y = { instance: mockHandle('Foo'), description: 'fraz' };
+  const z = { instance: mockHandle('Foo'), description: 'alan' };
+
+  const balance = harden({ brand: mockBrand, value: makeCopySet([x, y, z]) });
+  const withdraw = harden({ brand: mockBrand, value: makeCopySet([z]) });
+
+  t.true(m.isGTE(balance, withdraw));
+});