[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[taler-exchange] branch master updated: this invariant does not actually
From: |
gnunet |
Subject: |
[taler-exchange] branch master updated: this invariant does not actually hold, i.e. if there is a /recoup request for a coin we never saw |
Date: |
Fri, 10 Jul 2020 21:27:16 +0200 |
This is an automated email from the git hooks/post-receive script.
grothoff pushed a commit to branch master
in repository exchange.
The following commit(s) were added to refs/heads/master by this push:
new 7cf67b30 this invariant does not actually hold, i.e. if there is a
/recoup request for a coin we never saw
7cf67b30 is described below
commit 7cf67b309465d7274457cdd12547daa836464fd9
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Fri Jul 10 21:27:06 2020 +0200
this invariant does not actually hold, i.e. if there is a /recoup request
for a coin we never saw
---
src/exchangedb/exchangedb_transactions.c | 6 ------
src/testing/test_exchange_api.c | 2 +-
2 files changed, 1 insertion(+), 7 deletions(-)
diff --git a/src/exchangedb/exchangedb_transactions.c
b/src/exchangedb/exchangedb_transactions.c
index 11ed3ac7..39d5bfbb 100644
--- a/src/exchangedb/exchangedb_transactions.c
+++ b/src/exchangedb/exchangedb_transactions.c
@@ -42,13 +42,11 @@ TALER_EXCHANGEDB_calculate_transaction_list_totals (
struct TALER_Amount refunded;
struct TALER_Amount deposit_fee;
bool have_refund;
- bool have_deposit_or_melt_or_recoup;
GNUNET_assert (GNUNET_OK ==
TALER_amount_get_zero (spent.currency,
&refunded));
have_refund = false;
- have_deposit_or_melt_or_recoup = false;
for (struct TALER_EXCHANGEDB_TransactionList *pos = tl;
NULL != pos;
pos = pos->next)
@@ -57,7 +55,6 @@ TALER_EXCHANGEDB_calculate_transaction_list_totals (
{
case TALER_EXCHANGEDB_TT_DEPOSIT:
/* spent += pos->amount_with_fee */
- have_deposit_or_melt_or_recoup = true;
if (0 >
TALER_amount_add (&spent,
&spent,
@@ -70,7 +67,6 @@ TALER_EXCHANGEDB_calculate_transaction_list_totals (
break;
case TALER_EXCHANGEDB_TT_MELT:
/* spent += pos->amount_with_fee */
- have_deposit_or_melt_or_recoup = true;
if (0 >
TALER_amount_add (&spent,
&spent,
@@ -112,7 +108,6 @@ TALER_EXCHANGEDB_calculate_transaction_list_totals (
}
break;
case TALER_EXCHANGEDB_TT_RECOUP:
- have_deposit_or_melt_or_recoup = true;
/* spent += pos->value */
if (0 >
TALER_amount_add (&spent,
@@ -157,7 +152,6 @@ TALER_EXCHANGEDB_calculate_transaction_list_totals (
GNUNET_break (0);
return GNUNET_SYSERR;
}
- GNUNET_break (have_deposit_or_melt_or_recoup);
*ret = spent;
return GNUNET_OK;
}
diff --git a/src/testing/test_exchange_api.c b/src/testing/test_exchange_api.c
index 7912041d..b8ec3699 100644
--- a/src/testing/test_exchange_api.c
+++ b/src/testing/test_exchange_api.c
@@ -675,7 +675,7 @@ run (void *cls,
"recoup-reveal-coin-1b",
"recoup-melt-coin-1b",
"EUR:5"),
-#if FIXME
+#if 1
/* "over-spend" 10 EUR recoup-refreshed coin */
TALER_TESTING_cmd_deposit ("recoup-refresh-deposit-failing",
"recoup-withdraw-coin-1b",
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [taler-exchange] branch master updated: this invariant does not actually hold, i.e. if there is a /recoup request for a coin we never saw,
gnunet <=