test cases
This commit is contained in:
Florian Dold
parent
ed447ad534
commit
34cfa92767
332
src/operations/withdraw-test.ts
Normal file
332
src/operations/withdraw-test.ts
Normal file
@ -0,0 +1,332 @@
|
|||||||
|
/*
|
||||||
|
This file is part of GNU Taler
|
||||||
|
(C) 2020 Taler Systems S.A.
|
||||||
|
|
||||||
|
GNU Taler is free software; you can redistribute it and/or modify it under the
|
||||||
|
terms of the GNU General Public License as published by the Free Software
|
||||||
|
Foundation; either version 3, or (at your option) any later version.
|
||||||
|
|
||||||
|
GNU Taler is distributed in the hope that it will be useful, but WITHOUT ANY
|
||||||
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
|
||||||
|
A PARTICULAR PURPOSE. See the GNU General Public License for more details.
|
||||||
|
|
||||||
|
You should have received a copy of the GNU General Public License along with
|
||||||
|
GNU Taler; see the file COPYING. If not, see <http://www.gnu.org/licenses/>
|
||||||
|
*/
|
||||||
|
|
||||||
|
import test from "ava";
|
||||||
|
import { getWithdrawDenomList } from "./withdraw";
|
||||||
|
import { Amounts } from "../util/amounts";
|
||||||
|
|
||||||
|
test("withdrawal selection bug repro", (t) => {
|
||||||
|
const amount = {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 43000000,
|
||||||
|
value: 23,
|
||||||
|
};
|
||||||
|
|
||||||
|
const denoms = [
|
||||||
|
{
|
||||||
|
denomPub:
|
||||||
|
"040000XT67C8KBD6B75TTQ3SK8FWXMNQW4372T3BDDGPAMB9RFCA03638W8T3F71WFEFK9NP32VKYVNFXPYRWQ1N1HDKV5J0DFEKHBPJCYSWCBJDRNWD7G8BN8PT97FA9AMV75MYEK4X54D1HGJ207JSVJBGFCATSPNTEYNHEQF1F220W00TBZR1HNPDQFD56FG0DJQ9KGHM8EC33H6AY9YN9CNX5R3Z4TZ4Q23W47SBHB13H6W74FQJG1F50X38VRSC4SR8RWBAFB7S4K8D2H4NMRFSQT892A3T0BTBW7HM5C0H2CK6FRKG31F7W9WP1S29013K5CXYE55CT8TH6N8J9B780R42Y5S3ZB6J6E9H76XBPSGH4TGYSR2VZRB98J417KCQMZKX1BB67E7W5KVE37TC9SJ904002",
|
||||||
|
denomPubHash:
|
||||||
|
"Q21FQSSG4FXNT96Z14CHXM8N1RZAG9GPHAV8PRWS0PZAAVWH7PBW6R97M2CH19KKP65NNSWXY7B6S53PT3CBM342E357ZXDDJ8RDVW8",
|
||||||
|
exchangeBaseUrl: "https://exchange.demo.taler.net/",
|
||||||
|
feeDeposit: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefresh: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefund: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeWithdraw: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
isOffered: true,
|
||||||
|
isRevoked: false,
|
||||||
|
masterSig:
|
||||||
|
"4F0P456CNNTTWK8BFJHGM3JTD6FVVNZY8EP077GYAHDJ5Y81S5RQ3SMS925NXMDVG9A88JAAP0E2GDZBC21PP5NHFFVWHAW3AVT8J3R",
|
||||||
|
stampExpireDeposit: {
|
||||||
|
t_ms: 1742909388000,
|
||||||
|
},
|
||||||
|
stampExpireLegal: {
|
||||||
|
t_ms: 1900589388000,
|
||||||
|
},
|
||||||
|
stampExpireWithdraw: {
|
||||||
|
t_ms: 1679837388000,
|
||||||
|
},
|
||||||
|
stampStart: {
|
||||||
|
t_ms: 1585229388000,
|
||||||
|
},
|
||||||
|
status: 0,
|
||||||
|
value: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 0,
|
||||||
|
value: 1000,
|
||||||
|
},
|
||||||
|
},
|
||||||
|
{
|
||||||
|
denomPub:
|
||||||
|
"040000Y63CF78QFPKRY77BRK9P557Q1GQWX3NCZ3HSYSK0Z7TT0KGRA7N4SKBKEHSTVHX1Z9DNXMJR4EXSY1TXCKV0GJ3T3YYC6Z0JNMJFVYQAV4FX5J90NZH1N33MZTV8HS9SMNAA9S6K73G4P99GYBB01B0P6M1KXZ5JRDR7VWBR3MEJHHGJ6QBMCJR3NWJRE3WJW9PRY8QPQ2S7KFWTWRESH2DBXCXWBD2SRN6P9YX8GRAEMFEGXC9V5GVJTEMH6ZDGNXFPWZE3JVJ2Q4N9GDYKBCHZCJ7M7M2RJ9ZV4Y64NAN9BT6XDC68215GKKRHTW1BBF1MYY6AR3JCTT9HYAM923RMVQR3TAEB7SDX8J76XRZWYH3AGJCZAQGMN5C8SSH9AHQ9RNQJQ15CN45R37X4YNFJV904002",
|
||||||
|
denomPubHash:
|
||||||
|
"447WA23SCBATMABHA0793F92MYTBYVPYMMQHCPKMKVY5P7RZRFMQ6VRW0Y8HRA7177GTBT0TBT08R21DZD129AJ995H9G09XBFE55G8",
|
||||||
|
exchangeBaseUrl: "https://exchange.demo.taler.net/",
|
||||||
|
feeDeposit: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefresh: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefund: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeWithdraw: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
isOffered: true,
|
||||||
|
isRevoked: false,
|
||||||
|
masterSig:
|
||||||
|
"P99AW82W46MZ0AKW7Z58VQPXFNTJQM9DVTYPBDF6KVYF38PPVDAZTV7JQ8TY7HGEC7JJJAY4E7AY7J3W1WV10DAZZQHHKTAVTSRAC20",
|
||||||
|
stampExpireDeposit: {
|
||||||
|
t_ms: 1742909388000,
|
||||||
|
},
|
||||||
|
stampExpireLegal: {
|
||||||
|
t_ms: 1900589388000,
|
||||||
|
},
|
||||||
|
stampExpireWithdraw: {
|
||||||
|
t_ms: 1679837388000,
|
||||||
|
},
|
||||||
|
stampStart: {
|
||||||
|
t_ms: 1585229388000,
|
||||||
|
},
|
||||||
|
status: 0,
|
||||||
|
value: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 0,
|
||||||
|
value: 10,
|
||||||
|
},
|
||||||
|
},
|
||||||
|
{
|
||||||
|
denomPub:
|
||||||
|
"040000YDESWC2B962DA4WK356SC50MA3N9KV0ZSGY3RC48JCTY258W909C7EEMT5BTC5KZ5T4CERCZ141P9QF87EK2BD1XEEM5GB07MB3H19WE4CQGAS8X84JBWN83PQGQXVMWE5HFA992KMGHC566GT9ZS2QPHZB6X89C4A80Z663PYAAPXP728VHAKATGNNBQ01ZZ2XD1CH9Y38YZBSPJ4K7GB2J76GBCYAVD9ENHDVWXJAXYRPBX4KSS5TXRR3K5NEN9ZV3AJD2V65K7ABRZDF5D5V1FJZZMNJ5XZ4FEREEKEBV9TDFPGJTKDEHEC60K3DN24DAATRESDJ1ZYYSYSRCAT4BT2B62ARGVMJTT5N2R126DRW9TGRWCW0ZAF2N2WET1H4NJEW77X0QT46Z5R3MZ0XPHD04002",
|
||||||
|
denomPubHash:
|
||||||
|
"JS61DTKAFM0BX8Q4XV3ZSKB921SM8QK745Z2AFXTKFMBHHFNBD8TQ5ETJHFNDGBGX22FFN2A2ERNYG1SGSDQWNQHQQ2B14DBVJYJG8R",
|
||||||
|
exchangeBaseUrl: "https://exchange.demo.taler.net/",
|
||||||
|
feeDeposit: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefresh: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefund: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeWithdraw: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
isOffered: true,
|
||||||
|
isRevoked: false,
|
||||||
|
masterSig:
|
||||||
|
"8S4VZGHE5WE0N5ZVCHYW9KZZR4YAKK15S46MV1HR1QB9AAMH3NWPW4DCR4NYGJK33Q8YNFY80SWNS6XKAP5DEVK933TM894FJ2VGE3G",
|
||||||
|
stampExpireDeposit: {
|
||||||
|
t_ms: 1742909388000,
|
||||||
|
},
|
||||||
|
stampExpireLegal: {
|
||||||
|
t_ms: 1900589388000,
|
||||||
|
},
|
||||||
|
stampExpireWithdraw: {
|
||||||
|
t_ms: 1679837388000,
|
||||||
|
},
|
||||||
|
stampStart: {
|
||||||
|
t_ms: 1585229388000,
|
||||||
|
},
|
||||||
|
status: 0,
|
||||||
|
value: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 0,
|
||||||
|
value: 5,
|
||||||
|
},
|
||||||
|
},
|
||||||
|
{
|
||||||
|
denomPub:
|
||||||
|
"040000YG3T1ADB8DVA6BD3EPV6ZHSHTDW35DEN4VH1AE6CSB7P1PSDTNTJG866PHF6QB1CCWYCVRGA0FVBJ9Q0G7KV7AD9010GDYBQH0NNPHW744MTNXVXWBGGGRGQGYK4DTYN1DSWQ1FZNDSZZPB5BEKG2PDJ93NX2JTN06Y8QMS2G734Z9XHC10EENBG2KVB7EJ3CM8PV1T32RC7AY62F3496E8D8KRHJQQTT67DSGMNKK86QXVDTYW677FG27DP20E8XY3M6FQD53NDJ1WWES91401MV1A3VXVPGC76GZVDD62W3WTJ1YMKHTTA3MRXX3VEAAH3XTKDN1ER7X6CZPMYTF8VK735VP2B2TZGTF28TTW4FZS32SBS64APCDF6SZQ427N5538TJC7SRE71YSP5ET8GS904002",
|
||||||
|
denomPubHash:
|
||||||
|
"8T51NEY81VMPQ180EQ5WR0YH7GMNNT90W55Q0514KZM18AZT71FHJGJHQXGK0WTA7ACN1X2SD0S53XPBQ1A9KH960R48VCVVM6E3TH8",
|
||||||
|
exchangeBaseUrl: "https://exchange.demo.taler.net/",
|
||||||
|
feeDeposit: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefresh: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefund: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeWithdraw: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
isOffered: true,
|
||||||
|
isRevoked: false,
|
||||||
|
masterSig:
|
||||||
|
"E3AWGAG8VB42P3KXM8B04Z6M483SX59R3Y4T53C3NXCA2NPB6C7HVCMVX05DC6S58E9X40NGEBQNYXKYMYCF3ASY2C4WP1WCZ4ME610",
|
||||||
|
stampExpireDeposit: {
|
||||||
|
t_ms: 1742909388000,
|
||||||
|
},
|
||||||
|
stampExpireLegal: {
|
||||||
|
t_ms: 1900589388000,
|
||||||
|
},
|
||||||
|
stampExpireWithdraw: {
|
||||||
|
t_ms: 1679837388000,
|
||||||
|
},
|
||||||
|
stampStart: {
|
||||||
|
t_ms: 1585229388000,
|
||||||
|
},
|
||||||
|
status: 0,
|
||||||
|
value: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 0,
|
||||||
|
value: 1,
|
||||||
|
},
|
||||||
|
},
|
||||||
|
{
|
||||||
|
denomPub:
|
||||||
|
"040000ZC0G60E9QQ5PD81TSDWD9GV5Y6P8Z05NSPA696DP07NGQQVSRQXBA76Q6PRB0YFX295RG4MTQJXAZZ860ET307HSC2X37XAVGQXRVB8Q4F1V7NP5ZEVKTX75DZK1QRAVHEZGQYKSSH6DBCJNQF6V9WNQF3GEYVA4KCBHA7JF772KHXM9642C28Z0AS4XXXV2PABAN5C8CHYD5H7JDFNK3920W5Q69X0BS84XZ4RE2PW6HM1WZ6KGZ3MKWWWCPKQ1FSFABRBWKAB09PF563BEBXKY6M38QETPH5EDWGANHD0SC3QV0WXYVB7BNHNNQ0J5BNV56K563SYHM4E5ND260YRJSYA1GN5YSW2B1J5T1A1EBNYF2DN6JNJKWXWEQ42G5YS17ZSZ5EWDRA9QKV8EGTCNAD04002",
|
||||||
|
denomPubHash:
|
||||||
|
"A41HW0Q2H9PCNMEWW0C0N45QAYVXZ8SBVRRAHE4W6X24SV1TH38ANTWDT80JXEBW9Z8PVPGT9GFV2EYZWJ5JW5W1N34NFNKHQSZ1PFR",
|
||||||
|
exchangeBaseUrl: "https://exchange.demo.taler.net/",
|
||||||
|
feeDeposit: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefresh: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefund: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeWithdraw: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
isOffered: true,
|
||||||
|
isRevoked: false,
|
||||||
|
masterSig:
|
||||||
|
"0ES1RKV002XB4YP21SN0QB7RSDHGYT0XAE65JYN8AVJAA6H7JZFN7JADXT521DJS89XMGPZGR8GCXF1516Y0Q9QDV00E6NMFA6CF838",
|
||||||
|
stampExpireDeposit: {
|
||||||
|
t_ms: 1742909388000,
|
||||||
|
},
|
||||||
|
stampExpireLegal: {
|
||||||
|
t_ms: 1900589388000,
|
||||||
|
},
|
||||||
|
stampExpireWithdraw: {
|
||||||
|
t_ms: 1679837388000,
|
||||||
|
},
|
||||||
|
stampStart: {
|
||||||
|
t_ms: 1585229388000,
|
||||||
|
},
|
||||||
|
status: 0,
|
||||||
|
value: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 10000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
},
|
||||||
|
{
|
||||||
|
denomPub:
|
||||||
|
"040000ZSK2PMVY6E3NBQ52KXMW029M60F4BWYTDS0FZSD0PE53CNZ9H6TM3GQK1WRTEKQ5GRWJ1J9DY6Y42SP47QVT1XD1G0W05SQ5F3F7P5KSWR0FJBJ9NZBXQEVN8Q4JRC94X3JJ3XV3KBYTZ2HTDFV28C3H2SRR0XGNZB4FY85NDZF1G4AEYJJ9QB3C0V8H70YB8RV3FKTNH7XS4K4HFNZHJ5H9VMX5SM9Z2DX37HA5WFH0E2MJBVVF2BWWA5M0HPPSB365RAE2AMD42Q65A96WD80X27SB2ZNQZ8WX0K13FWF85GZ6YNYAJGE1KGN06JDEKE9QD68Z651D7XE8V6664TVVC8M68S7WD0DSXMJQKQ0BNJXNDE29Q7MRX6DA3RW0PZ44B3TKRK0294FPVZTNSTA6XF04002",
|
||||||
|
denomPubHash:
|
||||||
|
"F5NGBX33DTV4595XZZVK0S2MA1VMXFEJQERE5EBP5DS4QQ9EFRANN7YHWC1TKSHT2K6CQWDBRES8D3DWR0KZF5RET40B4AZXZ0RW1ZG",
|
||||||
|
exchangeBaseUrl: "https://exchange.demo.taler.net/",
|
||||||
|
feeDeposit: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefresh: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeRefund: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
feeWithdraw: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 1000000,
|
||||||
|
value: 0,
|
||||||
|
},
|
||||||
|
isOffered: true,
|
||||||
|
isRevoked: false,
|
||||||
|
masterSig:
|
||||||
|
"58QEB6C6N7602E572E3JYANVVJ9BRW0V9E2ZFDW940N47YVQDK9SAFPWBN5YGT3G1742AFKQ0CYR4DM2VWV0Z0T1XMEKWN6X2EZ9M0R",
|
||||||
|
stampExpireDeposit: {
|
||||||
|
t_ms: 1742909388000,
|
||||||
|
},
|
||||||
|
stampExpireLegal: {
|
||||||
|
t_ms: 1900589388000,
|
||||||
|
},
|
||||||
|
stampExpireWithdraw: {
|
||||||
|
t_ms: 1679837388000,
|
||||||
|
},
|
||||||
|
stampStart: {
|
||||||
|
t_ms: 1585229388000,
|
||||||
|
},
|
||||||
|
status: 0,
|
||||||
|
value: {
|
||||||
|
currency: "KUDOS",
|
||||||
|
fraction: 0,
|
||||||
|
value: 2,
|
||||||
|
},
|
||||||
|
},
|
||||||
|
];
|
||||||
|
|
||||||
|
const res = getWithdrawDenomList(amount, denoms);
|
||||||
|
|
||||||
|
console.error("cost", Amounts.stringify(res.totalWithdrawCost));
|
||||||
|
console.error("withdraw amount", Amounts.stringify(amount));
|
||||||
|
|
||||||
|
t.assert(Amounts.cmp(res.totalWithdrawCost, amount) <= 0);
|
||||||
|
t.pass();
|
||||||
|
});
|
||||||
@ -78,6 +78,11 @@ export function getWithdrawDenomList(
|
|||||||
amountAvailable: AmountJson,
|
amountAvailable: AmountJson,
|
||||||
denoms: DenominationRecord[],
|
denoms: DenominationRecord[],
|
||||||
): DenominationSelectionInfo {
|
): DenominationSelectionInfo {
|
||||||
|
|
||||||
|
console.log("calling getWithdrawDenomList with");
|
||||||
|
console.log(JSON.stringify(amountAvailable, undefined, 2));
|
||||||
|
console.log(JSON.stringify(denoms, undefined, 2));
|
||||||
|
|
||||||
let remaining = Amounts.copy(amountAvailable);
|
let remaining = Amounts.copy(amountAvailable);
|
||||||
|
|
||||||
const selectedDenoms: {
|
const selectedDenoms: {
|
||||||
@ -91,16 +96,21 @@ export function getWithdrawDenomList(
|
|||||||
denoms = denoms.filter(isWithdrawableDenom);
|
denoms = denoms.filter(isWithdrawableDenom);
|
||||||
denoms.sort((d1, d2) => Amounts.cmp(d2.value, d1.value));
|
denoms.sort((d1, d2) => Amounts.cmp(d2.value, d1.value));
|
||||||
|
|
||||||
|
console.log("start remaining is", Amounts.stringify(remaining));
|
||||||
|
|
||||||
for (const d of denoms) {
|
for (const d of denoms) {
|
||||||
let count = 0;
|
let count = 0;
|
||||||
const cost = Amounts.add(d.value, d.feeWithdraw).amount;
|
const cost = Amounts.add(d.value, d.feeWithdraw).amount;
|
||||||
|
console.log("cost is", Amounts.stringify(cost));
|
||||||
for (;;) {
|
for (;;) {
|
||||||
if (Amounts.cmp(remaining, cost) < 0) {
|
if (Amounts.cmp(remaining, cost) < 0) {
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
remaining = Amounts.sub(remaining, cost).amount;
|
remaining = Amounts.sub(remaining, cost).amount;
|
||||||
|
console.log("remaining is", Amounts.stringify(remaining));
|
||||||
count++;
|
count++;
|
||||||
}
|
}
|
||||||
|
console.log("count is", count);
|
||||||
if (count > 0) {
|
if (count > 0) {
|
||||||
totalCoinValue = Amounts.add(
|
totalCoinValue = Amounts.add(
|
||||||
totalCoinValue,
|
totalCoinValue,
|
||||||
@ -114,6 +124,7 @@ export function getWithdrawDenomList(
|
|||||||
count,
|
count,
|
||||||
denom: d,
|
denom: d,
|
||||||
});
|
});
|
||||||
|
console.log("total cost is", Amounts.stringify(totalWithdrawCost));
|
||||||
}
|
}
|
||||||
|
|
||||||
if (Amounts.isZero(remaining)) {
|
if (Amounts.isZero(remaining)) {
|
||||||
@ -490,6 +501,11 @@ export async function selectWithdrawalDenoms(
|
|||||||
}
|
}
|
||||||
} while (selectedDenoms.selectedDenoms.length > 0 && !allValid);
|
} while (selectedDenoms.selectedDenoms.length > 0 && !allValid);
|
||||||
|
|
||||||
|
|
||||||
|
if (Amounts.cmp(selectedDenoms.totalWithdrawCost, amount) > 0) {
|
||||||
|
throw Error("Bug: withdrawal coin selection is wrong");
|
||||||
|
}
|
||||||
|
|
||||||
return selectedDenoms;
|
return selectedDenoms;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@ -15,119 +15,8 @@
|
|||||||
*/
|
*/
|
||||||
|
|
||||||
import test from "ava";
|
import test from "ava";
|
||||||
import { Amounts, AmountJson } from "../util/amounts";
|
|
||||||
import { codecForContractTerms } from "./talerTypes";
|
import { codecForContractTerms } from "./talerTypes";
|
||||||
|
|
||||||
const amt = (
|
|
||||||
value: number,
|
|
||||||
fraction: number,
|
|
||||||
currency: string,
|
|
||||||
): AmountJson => ({ value, fraction, currency });
|
|
||||||
|
|
||||||
test("amount addition (simple)", (t) => {
|
|
||||||
const a1 = amt(1, 0, "EUR");
|
|
||||||
const a2 = amt(1, 0, "EUR");
|
|
||||||
const a3 = amt(2, 0, "EUR");
|
|
||||||
t.true(0 === Amounts.cmp(Amounts.add(a1, a2).amount, a3));
|
|
||||||
t.pass();
|
|
||||||
});
|
|
||||||
|
|
||||||
test("amount addition (saturation)", (t) => {
|
|
||||||
const a1 = amt(1, 0, "EUR");
|
|
||||||
const res = Amounts.add(amt(Amounts.maxAmountValue, 0, "EUR"), a1);
|
|
||||||
t.true(res.saturated);
|
|
||||||
t.pass();
|
|
||||||
});
|
|
||||||
|
|
||||||
test("amount subtraction (simple)", (t) => {
|
|
||||||
const a1 = amt(2, 5, "EUR");
|
|
||||||
const a2 = amt(1, 0, "EUR");
|
|
||||||
const a3 = amt(1, 5, "EUR");
|
|
||||||
t.true(0 === Amounts.cmp(Amounts.sub(a1, a2).amount, a3));
|
|
||||||
t.pass();
|
|
||||||
});
|
|
||||||
|
|
||||||
test("amount subtraction (saturation)", (t) => {
|
|
||||||
const a1 = amt(0, 0, "EUR");
|
|
||||||
const a2 = amt(1, 0, "EUR");
|
|
||||||
let res = Amounts.sub(a1, a2);
|
|
||||||
t.true(res.saturated);
|
|
||||||
res = Amounts.sub(a1, a1);
|
|
||||||
t.true(!res.saturated);
|
|
||||||
t.pass();
|
|
||||||
});
|
|
||||||
|
|
||||||
test("amount comparison", (t) => {
|
|
||||||
t.is(Amounts.cmp(amt(1, 0, "EUR"), amt(1, 0, "EUR")), 0);
|
|
||||||
t.is(Amounts.cmp(amt(1, 1, "EUR"), amt(1, 0, "EUR")), 1);
|
|
||||||
t.is(Amounts.cmp(amt(1, 1, "EUR"), amt(1, 2, "EUR")), -1);
|
|
||||||
t.is(Amounts.cmp(amt(1, 0, "EUR"), amt(0, 0, "EUR")), 1);
|
|
||||||
t.is(Amounts.cmp(amt(0, 0, "EUR"), amt(1, 0, "EUR")), -1);
|
|
||||||
t.is(Amounts.cmp(amt(1, 0, "EUR"), amt(0, 100000000, "EUR")), 0);
|
|
||||||
t.throws(() => Amounts.cmp(amt(1, 0, "FOO"), amt(1, 0, "BAR")));
|
|
||||||
t.pass();
|
|
||||||
});
|
|
||||||
|
|
||||||
test("amount parsing", (t) => {
|
|
||||||
t.is(
|
|
||||||
Amounts.cmp(Amounts.parseOrThrow("TESTKUDOS:0"), amt(0, 0, "TESTKUDOS")),
|
|
||||||
0,
|
|
||||||
);
|
|
||||||
t.is(
|
|
||||||
Amounts.cmp(Amounts.parseOrThrow("TESTKUDOS:10"), amt(10, 0, "TESTKUDOS")),
|
|
||||||
0,
|
|
||||||
);
|
|
||||||
t.is(
|
|
||||||
Amounts.cmp(
|
|
||||||
Amounts.parseOrThrow("TESTKUDOS:0.1"),
|
|
||||||
amt(0, 10000000, "TESTKUDOS"),
|
|
||||||
),
|
|
||||||
0,
|
|
||||||
);
|
|
||||||
t.is(
|
|
||||||
Amounts.cmp(
|
|
||||||
Amounts.parseOrThrow("TESTKUDOS:0.00000001"),
|
|
||||||
amt(0, 1, "TESTKUDOS"),
|
|
||||||
),
|
|
||||||
0,
|
|
||||||
);
|
|
||||||
t.is(
|
|
||||||
Amounts.cmp(
|
|
||||||
Amounts.parseOrThrow("TESTKUDOS:4503599627370496.99999999"),
|
|
||||||
amt(4503599627370496, 99999999, "TESTKUDOS"),
|
|
||||||
),
|
|
||||||
0,
|
|
||||||
);
|
|
||||||
t.throws(() => Amounts.parseOrThrow("foo:"));
|
|
||||||
t.throws(() => Amounts.parseOrThrow("1.0"));
|
|
||||||
t.throws(() => Amounts.parseOrThrow("42"));
|
|
||||||
t.throws(() => Amounts.parseOrThrow(":1.0"));
|
|
||||||
t.throws(() => Amounts.parseOrThrow(":42"));
|
|
||||||
t.throws(() => Amounts.parseOrThrow("EUR:.42"));
|
|
||||||
t.throws(() => Amounts.parseOrThrow("EUR:42."));
|
|
||||||
t.throws(() => Amounts.parseOrThrow("TESTKUDOS:4503599627370497.99999999"));
|
|
||||||
t.is(
|
|
||||||
Amounts.cmp(
|
|
||||||
Amounts.parseOrThrow("TESTKUDOS:0.99999999"),
|
|
||||||
amt(0, 99999999, "TESTKUDOS"),
|
|
||||||
),
|
|
||||||
0,
|
|
||||||
);
|
|
||||||
t.throws(() => Amounts.parseOrThrow("TESTKUDOS:0.999999991"));
|
|
||||||
t.pass();
|
|
||||||
});
|
|
||||||
|
|
||||||
test("amount stringification", (t) => {
|
|
||||||
t.is(Amounts.stringify(amt(0, 0, "TESTKUDOS")), "TESTKUDOS:0");
|
|
||||||
t.is(Amounts.stringify(amt(4, 94000000, "TESTKUDOS")), "TESTKUDOS:4.94");
|
|
||||||
t.is(Amounts.stringify(amt(0, 10000000, "TESTKUDOS")), "TESTKUDOS:0.1");
|
|
||||||
t.is(Amounts.stringify(amt(0, 1, "TESTKUDOS")), "TESTKUDOS:0.00000001");
|
|
||||||
t.is(Amounts.stringify(amt(5, 0, "TESTKUDOS")), "TESTKUDOS:5");
|
|
||||||
// denormalized
|
|
||||||
t.is(Amounts.stringify(amt(1, 100000000, "TESTKUDOS")), "TESTKUDOS:2");
|
|
||||||
t.pass();
|
|
||||||
});
|
|
||||||
|
|
||||||
test("contract terms validation", (t) => {
|
test("contract terms validation", (t) => {
|
||||||
const c = {
|
const c = {
|
||||||
nonce: "123123123",
|
nonce: "123123123",
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user