Update comment on EscrowAccountingTest to account for batchesQueue

runtimeverification · Jul 15, 2024 · 08fba87 · 08fba87
1 parent 03f7acf
commit 08fba87
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/test/kontrol/EscrowAccounting.t.sol b/test/kontrol/EscrowAccounting.t.sol
@@ -57,9 +57,10 @@ contract EscrowAccountingTest is StorageSetup {
         // ?WORD5: claimedETH
         // ?WORD6: unfinalizedShares
         // ?WORD7: finalizedETH
-        // ?WORD8: rageQuitExtensionDelay
-        // ?WORD9: rageQuitWithdrawalsTimelock
-        // ?WORD10: rageQuitTimelockStartedAt
+        // ?WORD8: batchesQueue
+        // ?WORD9: rageQuitExtensionDelay
+        // ?WORD10: rageQuitWithdrawalsTimelock
+        // ?WORD11: rageQuitTimelockStartedAt
         _escrowStorageSetup(escrow, DualGovernance(dualGovernanceAddress), EscrowState(currentState));
     }