Skip to content

Commit 846bc01

Browse files
committed
tests: invariant balance operator
1 parent 223d773 commit 846bc01

1 file changed

Lines changed: 2 additions & 3 deletions

File tree

test/primitives/BalanceOperator.t.sol

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -61,7 +61,7 @@ contract Handler is Test {
6161
function withdraw(uint256 actorIndex, uint256 amount) external {
6262
vm.assume(actorIndex < actors.length);
6363
address a = actors[actorIndex];
64-
vm.assume(amount > 0 && amount < operator.getLedgerBalance(a, address(mmc)));
64+
vm.assume(amount > 0 && amount < operator.getLedgerBalance(a, address(mmc)));
6565

6666
// as author
6767
vm.prank(a);
@@ -121,11 +121,10 @@ contract BalanceOperatorTest is BaseTest {
121121
totalByActor += ILedgerVerifiable(opAddress).getLedgerBalance(actors[i], token);
122122
}
123123

124-
// the contract balance must match with the sum of all ledgers
124+
// the contract balance must match with the sum of all ledgers
125125
assertEq(totalByActor, IBalanceVerifiable(opAddress).getBalance(token));
126126
}
127127

128-
129128
function test_Deposit_ValidDeposit() public {
130129
// 100 MMC
131130
uint256 amount = 100 * 1e18;

0 commit comments

Comments
 (0)