Revert "refactor(remove spending counter): performance testing"

This reverts commit 154824e.

chain-impl-mockchain/src/accounting/account/account_state.rs

@@ -166,10 +166,10 @@ impl<Extra: Clone> AccountState<Extra> {
     ///
     /// Note that this *also* increment the counter, as this function would be usually call
     /// for spending.
-    pub fn sub(&self, _spending: SpendingCounter, v: Value) -> Result<Option<Self>, LedgerError> {
+    pub fn sub(&self, spending: SpendingCounter, v: Value) -> Result<Option<Self>, LedgerError> {
         let new_value = (self.value - v)?;
         let mut r = self.clone();
-
+        r.spending.next_verify(spending)?;
         r.value = new_value;
         Ok(Some(r))
     }

chain-impl-mockchain/src/accounting/account/spending.rs

@@ -49,8 +49,15 @@ impl SpendingCounterIncreasing {
     /// a ledger error reported.
     ///
     /// If the counter match succesfully, then the counter at this lane is incremented by one.
-    pub fn next_verify(&mut self, _counter: SpendingCounter) -> Result<(), LedgerError> {
-        Ok(())
+    pub fn next_verify(&mut self, counter: SpendingCounter) -> Result<(), LedgerError> {
+        let actual_counter = self.nexts[counter.lane()];
+
+        if actual_counter != counter {
+            Err(LedgerError::SpendingCredentialInvalid)
+        } else {
+            self.nexts[counter.lane()] = actual_counter.increment();
+            Ok(())
+        }
     }
 }
 
@@ -251,7 +258,6 @@ mod tests {
     }
 
     #[quickcheck_macros::quickcheck]
-    #[ignore]
     pub fn spending_counter_increasing_increment(mut index: usize) -> TestResult {
         let mut sc_increasing = SpendingCounterIncreasing::default();
         index %= SpendingCounterIncreasing::LANES;
@@ -263,7 +269,6 @@ mod tests {
     }
 
     #[test]
-    #[ignore]
     pub fn spending_counter_increasing_wrong_counter() {
         let mut sc_increasing = SpendingCounterIncreasing::default();
         let incorrect_sc = SpendingCounter::new(0, 100);

chain-impl-mockchain/src/ledger/ledger.rs

@@ -2981,7 +2981,6 @@ mod tests {
     }
 
     #[test]
-    #[ignore]
     fn test_internal_apply_transaction_wrong_spending_counter() {
         let faucet =
             AddressDataValue::account_with_spending_counter(Discrimination::Test, 1, Value(1));

chain-impl-mockchain/src/ledger/tests/transaction_tests.rs

@@ -113,7 +113,6 @@ pub fn transaction_fail_when_validity_too_far() {
 }
 
 #[test]
-#[ignore]
 pub fn duplicated_account_transaction() {
     let mut test_ledger = LedgerBuilder::from_config(ConfigBuilder::new())
         .faucet_value(Value(1000))
@@ -160,7 +159,6 @@ pub fn transaction_nonexisting_account_input() {
 }
 
 #[test]
-#[ignore]
 pub fn transaction_with_incorrect_account_spending_counter() {
     let faucet =
         AddressDataValue::account_with_spending_counter(Discrimination::Test, 1, Value(1000));

chain-impl-mockchain/src/testing/e2e/spending_counter_lanes.rs

@@ -9,7 +9,6 @@ use crate::{
 };
 
 #[test]
-#[ignore]
 pub fn ledger_accepts_signature_from_all_lanes() {
     let (mut ledger, controller) = prepare_scenario()
         .with_config(ConfigBuilder::new().with_fee(LinearFee::new(1, 1, 1)))