Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

test: vaults fuzzing #918

Draft
wants to merge 23 commits into
base: feat/vaults
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
afc5fa1
feat: test shareRate with fuzzing
sergeyWh1te Jan 10, 2025
e772d2a
Merge branch 'feat/vaults' into feat/vaults-fuzzing-share-rate
tamtamchik Jan 13, 2025
0b6fc5c
feat: test shareRate with fuzzing
sergeyWh1te Jan 13, 2025
6317957
feat: test shareRate with fuzzing
sergeyWh1te Jan 13, 2025
c289fb8
chore: some refactoring
tamtamchik Jan 13, 2025
d79df96
feat: test shareRate with fuzzing
sergeyWh1te Jan 14, 2025
167c387
feat: fuzz oracleReport
sergeyWh1te Jan 16, 2025
2386b48
chore: add oracle report related contracts
tamtamchik Jan 16, 2025
79ecbbb
fix: accounting initialization
tamtamchik Jan 16, 2025
7fc5b7f
feat: added _sharesRequestedToBurn to fuzzing
sergeyWh1te Jan 16, 2025
c9f78d0
feat: added _sharesRequestedToBurn to fuzzing
sergeyWh1te Jan 16, 2025
166ef4b
feat: refactor fuzz.ProtocolDeployment
sergeyWh1te Jan 17, 2025
c39aeea
feat: fix incorrect timestamp for Report
sergeyWh1te Jan 17, 2025
7d05ee2
chore: add todos
tamtamchik Jan 20, 2025
1203e29
feat: wip fuzz handleOracleReport
sergeyWh1te Jan 22, 2025
6ae1888
feat: fuzz clValidators after report
sergeyWh1te Jan 23, 2025
ea08979
feat: try to get elRewards
sergeyWh1te Jan 23, 2025
f7870a8
feat: invariant_handleOracleReport
sergeyWh1te Jan 29, 2025
02ac654
feat: invariant_handleOracleReport
sergeyWh1te Jan 30, 2025
490652e
feat: check invariant lido.transfer
sergeyWh1te Jan 31, 2025
8b88a72
feat: check invariant_vaultsDonAffectSharesRate
sergeyWh1te Feb 4, 2025
7f6f404
Merge remote-tracking branch 'origin/feat/vaults' into feat/vaults-fu…
tamtamchik Feb 10, 2025
e9a302d
feat: stabilize tests
tamtamchik Feb 10, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions package.json
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,8 @@
"prepare": "husky",
"abis:extract": "hardhat abis:extract",
"verify:deployed": "hardhat verify:deployed",
"test:fuzzShateRate": "forge test --match-path \"test/0.8.25/ShareRate.t.sol\"",
"test:fuzzOracleReport": "forge test --match-path \"test/0.8.25/Accounting.t.sol\"",
"postinstall": "husky"
},
"lint-staged": {
Expand Down
Loading
Loading