Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
57 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
9a131aa
Merge branch 'feat/vaults' into feat/vaults-fuzzing
tamtamchik Feb 19, 2025
5fa608a
feat: wip fuzzing shareRate
sergeyWh1te Feb 26, 2025
e158cc0
Merge branch 'feat/vaults' into feat/vaults-fuzzing
tamtamchik Feb 26, 2025
9dd9bea
fix: make test work again
tamtamchik Feb 27, 2025
2dfe89e
feat: fuzzing shareRate
sergeyWh1te Feb 28, 2025
cf4de6c
feat: fuzzing shareRate merge updates
sergeyWh1te Feb 28, 2025
6e47b45
feat: refactoring fuzzing StakingRouter mock
sergeyWh1te Mar 14, 2025
9034fe6
Merge branch 'feat/vaults' into feat/vaults-fuzzing
tamtamchik Mar 14, 2025
7369dfe
feat: add solvency test for staking vault
kovalgek Mar 20, 2025
ad5a1dd
fix: add vault connection tests
kovalgek Mar 25, 2025
66e45a0
fix: fix fuzz tests
kovalgek Mar 27, 2025
73c02da
fix: fuzzing setup
tamtamchik Mar 27, 2025
ac35088
Merge branch 'feat/vaults-fuzzing' into feat/staking-vaults-solvency-…
tamtamchik Mar 27, 2025
a5a94d2
Merge branch 'feat/vaults' into feat/vaults-fuzzing
tamtamchik Mar 27, 2025
d18273c
chore: small refactoring
tamtamchik Mar 28, 2025
bcb6f2d
fix: small test refactoring
kovalgek Mar 28, 2025
8b3511d
Merge branch 'feat/staking-vaults-solvency-tests' of github.com:lidof…
kovalgek Mar 28, 2025
96e86b7
Merge remote-tracking branch 'origin/feat/vaults' into feat/staking-v…
tamtamchik Mar 31, 2025
d1bc3b8
Merge branch 'feat/vaults' into feat/vaults-fuzzing
tamtamchik Mar 31, 2025
1980510
Merge branch 'feat/vaults-fuzzing' into feat/staking-vaults-solvency-…
tamtamchik Mar 31, 2025
db8c0b3
feat: reduce logs
tamtamchik Mar 31, 2025
9bd545d
feat: add detailed logs
tamtamchik Mar 31, 2025
e4311b4
feat: cleanup
tamtamchik Mar 31, 2025
1e475ca
feat: disable logs
tamtamchik Mar 31, 2025
571ab87
fix: add asserts, fix fund error
kovalgek Apr 1, 2025
a915fef
fix: add more asserts
kovalgek Apr 1, 2025
a94282b
Merge pull request #997 from lidofinance/feat/staking-vaults-solvency…
tamtamchik Apr 1, 2025
40924cf
Merge branch 'feat/vaults' into feat/vaults-fuzzing
kovalgek Apr 13, 2025
02babdb
Merge branch 'feat/vaults' into feat/vaults-fuzzing
kovalgek Apr 21, 2025
085f091
Merge branch 'feat/move-state-to-hub' into feat/vaults-fuzzing
kovalgek May 27, 2025
5e5f8c6
Merge branch 'feat/vaults' into feat/vaults-fuzzing
kovalgek May 28, 2025
143ceda
Merge branch 'feat/vaults' into feat/vaults-fuzzing
kovalgek Jun 14, 2025
7e52fb5
fix: fix accounting tests
kovalgek Jun 25, 2025
f2079fd
Merge branch 'feat/vaults' into feat/vaults-fuzzing
kovalgek Jun 25, 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: 1 addition & 1 deletion .github/workflows/tests-unit.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,4 +37,4 @@ jobs:
run: forge --version

- name: Run fuzzing and invariant tests
run: forge test -vvv
run: forge test
2 changes: 2 additions & 0 deletions package.json
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,8 @@
"typecheck": "tsc --noEmit",
"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