Skip to content

[Exit bundles] margin test - #44

Open
QGarchery wants to merge 11 commits into
mainfrom
test-margin-ikr
Open

[Exit bundles] margin test#44
QGarchery wants to merge 11 commits into
mainfrom
test-margin-ikr

Conversation

@QGarchery

Copy link
Copy Markdown
Collaborator

No description provided.

@QGarchery QGarchery self-assigned this Jul 10, 2026
Comment thread test/ForceWithdrawMarginTest.sol Outdated
Address review feedback by keeping each explanatory sentence on its own comment line.
@QGarchery QGarchery changed the title [Vault force withdraw] margin test (WIP) [Exit bundles] margin test (WIP) Jul 21, 2026
@QGarchery QGarchery changed the title [Exit bundles] margin test (WIP) [Exit bundles] margin test Jul 27, 2026
@QGarchery
QGarchery marked this pull request as ready for review July 27, 2026 17:00
@QGarchery
QGarchery requested review from MathisGD and bhargavbh July 27, 2026 17:01

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 0d1efba62d

ℹ️ About Codex in GitHub

Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".

Comment thread test/VaultExitMarginTest.sol
Comment on lines +294 to +296
function testMarginV2Liquid(uint256 numberOfMarkets) public {
numberOfMarkets = bound(numberOfMarkets, 1, MAX_NUMBER_OF_MARKETS);
_setupV2(numberOfMarkets, false);

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Exercise a nonzero upfront withdrawal in the liquid scenario

In this setup every deposited asset is allocated and no liquidity adapter is configured, so withdrawableAssets in VaultExitBundlesV1.sol:173-186 is zero and the claimed upfront withdrawal is always withdraw(0). Consequently this case never exercises the additional rounding operation used to justify the numberOfMarkets + 2 margin; leave some idle assets or configure a liquidity adapter, and assert that the upfront amount is nonzero before checking this bound.

AGENTS.md reference: AGENTS.md:L77-L77

Useful? React with 👍 / 👎.

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@prd-carapulse[bot] fix this, in this PR: add a liquidity adapter

@prd-carapulse prd-carapulse Bot Jul 27, 2026

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⏳ Working — 9 min — iteration 21/200, terminal

Comment thread test/VaultExitMarginTest.sol
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant