| name | test-contracts |
| description | Run Solidity smart contract tests using Foundry forge |
| disable-model-invocation | true |
| argument-hint | [test-name or file-path] |
Run the Solidity smart contract tests.
If arguments are provided, run a targeted test:
- If
$ARGUMENTS looks like a test name: forge test --match-test $ARGUMENTS -vvv
- If
$ARGUMENTS looks like a file path: forge test --match-path $ARGUMENTS -vvv
- If no arguments:
forge test -vvv
Test files in contracts/test/:
SmartVault.t.sol — Core unit tests (deposit, withdraw, LP, hedge)
SmartVault.delta.t.sol — Delta rebalancing tests
SmartVault.invariant.t.sol — Stateful invariant tests
SmartVault.oicap.t.sol — Open interest cap / ReduceLiability tests
SmartVault.race.t.sol — WAVS race condition / cooldown tests
If tests fail, analyze the output, identify the root cause, and suggest a fix.