Add another user

compound-finance · Oct 1, 2021 · 54855e4 · 54855e4
1 parent 6c5d762
commit 54855e4
Showing 1 changed file with 10 additions and 5 deletions.
diff --git a/spec/scenario/Flywheel/CompSplitSpeed.scen b/spec/scenario/Flywheel/CompSplitSpeed.scen
@@ -165,6 +165,9 @@ Only "Claim COMP across upgrade"
     RepayBorrow Gaston UInt256Max cYFI -- but can borrow or repay to trigger accrual
     Assert Success
     Assert Equal (Comptroller CompAccrued Gaston) 10000000000000000000
+    Redeem Gaston 0 cBAT -- borrow or repay can still trigger accrual and should be 750
+    Assert Success
+    Assert Equal (Comptroller CompAccrued Gaston) 10000000000000000750
     SwitchToLatestComptroller
     Comptroller ClaimComp Coburn  -- TODO: This should be blocked
     Assert Success
@@ -178,19 +181,21 @@ Only "Claim COMP across upgrade"
     Assert Success
     Comptroller ClaimComp Gaston -- TODO: This should be blocked
     Assert Success
-    RepayBorrow Felix UInt256Max cYFI -- borrow or repay can still trigger accrual
+    RepayBorrow Felix UInt256Max cYFI -- borrow or repay can still trigger accrual but should be 0
     Assert Success
-    Assert Equal (Erc20 COMP TokenBalance Coburn) 10000000000000000500 -- buggy balance
+    Redeem Felix 0 cBAT -- borrow or repay can still trigger accrual and should be 750
+    Assert Success
+    Assert Equal (Erc20 COMP TokenBalance Coburn) 10000000000000000750 -- buggy balance
     Assert Equal (Erc20 COMP TokenBalance Geoff) 2000
     Assert Equal (Erc20 COMP TokenBalance Jared) 0
     Assert Equal (Erc20 COMP TokenBalance Torrey) 5e10 --buggy balance (double check)
-    Assert Equal (Erc20 COMP TokenBalance Tyler) 500 -- not buggy balance!
-    Assert Equal (Erc20 COMP TokenBalance Gaston) 10000000000000000500 -- buggy balance
+    Assert Equal (Erc20 COMP TokenBalance Tyler) 750 -- not buggy balance!
+    Assert Equal (Erc20 COMP TokenBalance Gaston) 10000000000000000750 -- buggy balance
     Assert Equal (Erc20 COMP TokenBalance Felix) 0 -- buggy balance
     Assert Equal (Comptroller CompAccrued Coburn) 0 -- Check accruals
     Assert Equal (Comptroller CompAccrued Geoff) 0
     Assert Equal (Comptroller CompAccrued Jared) 0
     Assert Equal (Comptroller CompAccrued Torrey) 0
     Assert Equal (Comptroller CompAccrued Tyler) 0
     Assert Equal (Comptroller CompAccrued Gaston) 0
-    Assert Equal (Comptroller CompAccrued Felix) 0 -- TODO: Shouldn't this be 500?
+    Assert Equal (Comptroller CompAccrued Felix) 750 -- Non-buggy accrual