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

invariant_lockedEthDecreasesOnClaim failed #850

Open
tamtamchik opened this issue Jul 18, 2024 · 1 comment
Open

invariant_lockedEthDecreasesOnClaim failed #850

tamtamchik opened this issue Jul 18, 2024 · 1 comment
Labels

Comments

@tamtamchik
Copy link
Member

https://github.com/lidofinance/core/actions/runs/9988691937/job/27605725939?pr=105

Looks like something triggered InvalidState from here: https://github.com/lidofinance/core/blob/master/contracts/0.8.9/WithdrawalQueueBase.sol#L221

@tamtamchik tamtamchik changed the title Dig into invariant test failure invariant_lockedEthDecreasesOnClaim failed Jul 18, 2024
@tamtamchik tamtamchik transferred this issue from another repository Oct 7, 2024
@tamtamchik
Copy link
Member Author

Failing tests:
Encountered 1 failing test in test/0.8.9/withdrawalQueue.t.sol:WQInvariants
[FAIL: custom error 0xbaf3f0f7]
	[Sequence]
		sender=0x0000000000000000000000000000000000002160 addr=[test/0.8.9/withdrawalQueue.t.sol:WQHandler]0x2e234DAe75C793f67A35089C9d99245E1C58470b calldata=request(uint256,uint256) args=[4465, 4569]
		sender=0x6A265a60FA2e8688A2e686aAcf672A63240282b7 addr=[test/0.8.9/withdrawalQueue.t.sol:WQHandler]0x2e234DAe75C793f67A35089C9d99245E1C58470b calldata=request(uint256,uint256) args=[8421, 1001]
		sender=0x794B4Bde70DF6b1BcB0EAAAb98224296ff02e859 addr=[test/0.8.9/withdrawalQueue.t.sol:WQHandler]0x2e234DAe75C793f67A35089C9d99245E1C58470b calldata=request(uint256,uint256) args=[1140607975739 [1.14e12], 8]
		sender=0x0000000000000000000000000000000000001D04 addr=[test/0.8.9/withdrawalQueue.t.sol:WQHandler]0x2e234DAe75C793f67A35089C9d99245E1C58470b calldata=request(uint256,uint256) args=[2416474135011836554778195950161420105647132690615920788279684051 [2.416e63], 115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77]]
		sender=0x000000000000000000000000000000ffF1a0E4f1 addr=[test/0.8.9/withdrawalQueue.t.sol:WQHandler]0x2e234DAe75C793f67A35089C9d99245E1C58470b calldata=finalize(uint256,uint256) args=[421024795498282541163102 [4.21e23], 1]
 invariant_requestCantBeClaimedAndNotFinalizedInTheSameTime() (runs: 161, calls: 41216, reverts: 1)

Encountered a total of 1 failing tests, 103 tests succeeded

https://github.com/lidofinance/core/actions/runs/12771888123/job/35600128029

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant