Skip to content

Commit

Permalink
chore: add todos
Browse files Browse the repository at this point in the history
  • Loading branch information
tamtamchik committed Jan 20, 2025
1 parent c39aeea commit 7d05ee2
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 1 deletion.
6 changes: 5 additions & 1 deletion test/0.8.25/Accounting.t.sol
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,6 @@ import {console2} from "forge-std/console2.sol";
import {ReportValues} from "contracts/common/interfaces/ReportValues.sol";

import {BaseProtocolTest} from "./Protocol__Deployment.t.sol";
import {console2} from "../../foundry/lib/forge-std/src/console2.sol";

interface IAccounting {
function handleOracleReport(ReportValues memory _report) external;
Expand Down Expand Up @@ -133,6 +132,11 @@ contract AccountingTest is BaseProtocolTest {
* forge-config: default.invariant.fail-on-revert = true
*/
function invariant_fuzzTotalShares() public {
// - 0 OR 10% OF PROTOCOL FEES SHOULD BE REPORTED (Collect total fees from reports in handler)
// - user tokens must not be used except burner contract (from Zero / to Zero)
// - should not be able to decrease validator number
// - solvency - stETH <> ETH = 1:1 - internal and total share rates are equal
// - vault params do not affect protocol share rate
assertGt(accountingHandler.length(), 0); // TODO: add real invariant, this is just a placeholder
}
}
4 changes: 4 additions & 0 deletions test/0.8.25/ShareRate.t.sol
Original file line number Diff line number Diff line change
Expand Up @@ -93,6 +93,10 @@ contract ShareRateTest is BaseProtocolTest {
bytes4[] memory selectors = new bytes4[](2);
selectors[0] = shareRateHandler.mintExternalShares.selector;
selectors[1] = shareRateHandler.burnExternalShares.selector;
// TODO: transfers
// TODO: submit
// TODO: withdrawals request
// TODO: claim

targetSelector(FuzzSelector({addr: address(shareRateHandler), selectors: selectors}));

Expand Down

0 comments on commit 7d05ee2

Please sign in to comment.