refactor: Add assertion to show coin inserted before processing input

FuelLabs · Jan 31, 2025 · ec0a924 · ec0a924
1 parent cad3ba0
commit ec0a924
Showing 1 changed file with 13 additions and 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
@@ -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 {