Skip to content

feat: add V2 precompile test fixtures and cl.assertion harness#63

Closed
makemake-kbo wants to merge 2 commits into
masterfrom
feat/v2-precompile-tests
Closed

feat: add V2 precompile test fixtures and cl.assertion harness#63
makemake-kbo wants to merge 2 commits into
masterfrom
feat/v2-precompile-tests

Conversation

@makemake-kbo
Copy link
Copy Markdown
Contributor

Adds fixture pairs (Assertion + TriggeringTx) under src/test-cases/precompiles covering context(), matchingCalls, getLogsForCall, callinputAt, persistent assertion storage, math precompiles (mulDiv/normalizeDecimals/ratioGe), ERC20 transfer queries, conserveBalance, oracleSanity, assetsMatchSharePrice, and outside-trigger inflow/outflow context zeroing.

Wires a cl.assertion-armed harness in test/precompiles/V2Precompiles.t.sol that etches each fixture's mock bytecode, arms a single assertion selector, and deploys the fixture's TriggeringTx to exercise the watched operations.

Adds fixture pairs (Assertion + TriggeringTx) under src/test-cases/precompiles
covering context(), matchingCalls, getLogsForCall, callinputAt, persistent
assertion storage, math precompiles (mulDiv/normalizeDecimals/ratioGe),
ERC20 transfer queries, conserveBalance, oracleSanity, assetsMatchSharePrice,
and outside-trigger inflow/outflow context zeroing.

Wires a cl.assertion-armed harness in test/precompiles/V2Precompiles.t.sol
that etches each fixture's mock bytecode, arms a single assertion selector,
and deploys the fixture's TriggeringTx to exercise the watched operations.
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