gnunet-svn
[Top][All Lists]
Advanced

[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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]