From ec0a924390f8d659dcad272a54153b03023efde4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A5rten=20Blankfors?= <marten@blankfors.se>
Date: Fri, 31 Jan 2025 17:35:26 +0100
Subject: [PATCH] refactor: Add assertion to show coin inserted before
 processing input

---
 .../global_merkle_root/storage/src/update.rs     | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/crates/fraud_proofs/global_merkle_root/storage/src/update.rs b/crates/fraud_proofs/global_merkle_root/storage/src/update.rs
index 2ced5934d2..d4d0f2ef49 100644
--- a/crates/fraud_proofs/global_merkle_root/storage/src/update.rs
+++ b/crates/fraud_proofs/global_merkle_root/storage/src/update.rs
@@ -505,17 +505,27 @@ mod tests {
             .process_output(tx_pointer, utxo_id, &inputs, &output)
             .unwrap();
 
+        let coin_was_inserted_before_process_input = !storage_update_tx
+            .storage
+            .storage_as_ref::<Coins>()
+            .get(&utxo_id)
+            .unwrap()
+            .is_none();
+
         storage_update_tx.process_input(&input).unwrap();
 
         storage_tx.commit().unwrap();
 
-        // Then
-        assert!(storage
+        let coin_doesnt_exist_after_process_input = storage
             .read_transaction()
             .storage_as_ref::<Coins>()
             .get(&utxo_id)
             .unwrap()
-            .is_none());
+            .is_none();
+
+        // Then
+        assert!(coin_was_inserted_before_process_input);
+        assert!(coin_doesnt_exist_after_process_input);
     }
 
     fn random_utxo_id(rng: &mut impl rand::RngCore) -> UtxoId {