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

test(katana-executor): add test for transaction simulation #1593

Merged
merged 1 commit into from
Mar 2, 2024

Conversation

kariy
Copy link
Member

@kariy kariy commented Mar 1, 2024

add test for TransactionExecutor::simulate() method

@kariy kariy changed the base branch from main to dev/katana March 1, 2024 14:29
Copy link

codecov bot commented Mar 1, 2024

Codecov Report

Attention: Patch coverage is 65.00000% with 7 lines in your changes are missing coverage. Please review.

❗ No coverage uploaded for pull request base (dev/katana@c1cf377). Click here to learn what that means.

Files Patch % Lines
...na/executor/src/implementation/blockifier/utils.rs 65.00% 7 Missing ⚠️
Additional details and impacted files
@@              Coverage Diff              @@
##             dev/katana    #1593   +/-   ##
=============================================
  Coverage              ?   60.80%           
=============================================
  Files                 ?      271           
  Lines                 ?    29003           
  Branches              ?        0           
=============================================
  Hits                  ?    17635           
  Misses                ?    11368           
  Partials              ?        0           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@kariy kariy merged commit 01812b7 into dojoengine:dev/katana Mar 2, 2024
10 of 12 checks passed
glihm added a commit that referenced this pull request Mar 12, 2024
* chore: bump dependencies

* fix: update cairo-lang

* fix: add missing run_profiler

* fix: fmt

* update cairo-vm rev

* wip

* wip

* fmt

* fix: ensure semantics analyzer plugin is registered

* chore(katana): make ethers non optional since U256 is used outside messaging

* fix: run CAIRO_FIX_TESTS

* fix(dojo-core): remove compiler warnings

* git: add sozo generated bindings to gitignore

* fix: fix class hash

* fix: class hash generated code

* fix(dojo-core): fix tests and compilation warnings

* chore: integrate snos on cairo2.5

* chore: update Cargo.lock

* wip: work on integration of katana types

* wip: fetch strategy

* fix

* feat: add parsing of state diff for genesis block

* wip

* wip

* fix: rework provider for saya and RPC implem

* wip

* wip: snos types

* wip txs

* wip: fix snos parsing need to complete inputs

* chore: switch back to git snos

* chore: bump blockifier to use Serde on TransactionExecutionInfo

* feat: add saya RPC namespace

* feat: add transaction execution info to in memory db

* fix: remove unused code covered by other test

* fix: add logic for small requests to get transactions executions info

* fix: fetch transactions executions info instead of running blockifier

* fix: fmt and clippy

* docs: fix unused type

* fix: add tests for new transactions execution retrieval

* fix: add correct test to check no pending support

* fix: restore unchanged file

* fix: rename new provider trait to TransactionTraceProvider

* refactor(katana): change stored compiled class (#1559)

Both `blockifier` and `starknet_in_rust` use their own proprietary contract class types. So need to have a type where the types from those two crates can be derived from.

* refactor(katana-primitives): move class related types to a separate module (#1560)

* Katana executor traits (#1561)

* feat(katana-executor): add `blockifier` executor implementations (#1562)

implement the executor traits introduced in #1561 based on `blockifier`

* Refactor Katana to using the new executor traits (#1563)

integrate the new executor traits introduced in #1561 to katana

* feat(katana-executor): add starknet_in_rust executor (#1564)

* doc(katana-executor): add README

* test(katana-executor): add test for transaction simulation (#1593)

* test(katana-executor): refactor simulate tests (#1606)

refactor tests

* adjust new types for Katana blockchain and SNOS

* fix: clippy

* refactor(katana): change stored compiled class (#1559)

Both `blockifier` and `starknet_in_rust` use their own proprietary contract class types. So need to have a type where the types from those two crates can be derived from.

* refactor(katana-primitives): move class related types to a separate module (#1560)

* Katana executor traits (#1561)

* feat(katana-executor): add `blockifier` executor implementations (#1562)

implement the executor traits introduced in #1561 based on `blockifier`

* Refactor Katana to using the new executor traits (#1563)

integrate the new executor traits introduced in #1561 to katana

* feat(katana-executor): add starknet_in_rust executor (#1564)

* doc(katana-executor): add README

* test(katana-executor): add test for transaction simulation (#1593)

* test(katana-executor): refactor simulate tests (#1606)

refactor tests

* feat: add new primitive for trace and blockifier conversions

* feat: add TransactionExecutionInfo convert from blockifier

* feat: add executor trait method to retrieve the execution info

* fix: ensure tx execution info is passed in block producer

* chore: restore dependency on blockifier as we use TxExecInfo primitive

* refactor(katana): decouple `katana-primitives` from any executor impls (#1637)

* fix: clippy / fmt

* merge

* fix: clippy

---------

Co-authored-by: Kariy <ammr.arf@gmail.com>
Co-authored-by: Ammar Arif <evergreenkary@gmail.com>
kariy added a commit that referenced this pull request Mar 18, 2024
* chore: bump dependencies

* fix: update cairo-lang

* fix: add missing run_profiler

* fix: fmt

* update cairo-vm rev

* wip

* wip

* fmt

* fix: ensure semantics analyzer plugin is registered

* chore(katana): make ethers non optional since U256 is used outside messaging

* fix: run CAIRO_FIX_TESTS

* fix(dojo-core): remove compiler warnings

* git: add sozo generated bindings to gitignore

* fix: fix class hash

* fix: class hash generated code

* fix(dojo-core): fix tests and compilation warnings

* chore: integrate snos on cairo2.5

* chore: update Cargo.lock

* wip: work on integration of katana types

* wip: fetch strategy

* fix

* feat: add parsing of state diff for genesis block

* wip

* wip

* fix: rework provider for saya and RPC implem

* wip

* wip: snos types

* wip txs

* wip: fix snos parsing need to complete inputs

* chore: switch back to git snos

* chore: bump blockifier to use Serde on TransactionExecutionInfo

* feat: add saya RPC namespace

* feat: add transaction execution info to in memory db

* fix: remove unused code covered by other test

* fix: add logic for small requests to get transactions executions info

* fix: fetch transactions executions info instead of running blockifier

* fix: fmt and clippy

* docs: fix unused type

* fix: add tests for new transactions execution retrieval

* fix: add correct test to check no pending support

* fix: restore unchanged file

* fix: rename new provider trait to TransactionTraceProvider

* refactor(katana): change stored compiled class (#1559)

Both `blockifier` and `starknet_in_rust` use their own proprietary contract class types. So need to have a type where the types from those two crates can be derived from.

* refactor(katana-primitives): move class related types to a separate module (#1560)

* Katana executor traits (#1561)

* feat(katana-executor): add `blockifier` executor implementations (#1562)

implement the executor traits introduced in #1561 based on `blockifier`

* Refactor Katana to using the new executor traits (#1563)

integrate the new executor traits introduced in #1561 to katana

* feat(katana-executor): add starknet_in_rust executor (#1564)

* doc(katana-executor): add README

* test(katana-executor): add test for transaction simulation (#1593)

* test(katana-executor): refactor simulate tests (#1606)

refactor tests

* adjust new types for Katana blockchain and SNOS

* fix: clippy

* refactor(katana): change stored compiled class (#1559)

Both `blockifier` and `starknet_in_rust` use their own proprietary contract class types. So need to have a type where the types from those two crates can be derived from.

* refactor(katana-primitives): move class related types to a separate module (#1560)

* Katana executor traits (#1561)

* feat(katana-executor): add `blockifier` executor implementations (#1562)

implement the executor traits introduced in #1561 based on `blockifier`

* Refactor Katana to using the new executor traits (#1563)

integrate the new executor traits introduced in #1561 to katana

* feat(katana-executor): add starknet_in_rust executor (#1564)

* doc(katana-executor): add README

* test(katana-executor): add test for transaction simulation (#1593)

* test(katana-executor): refactor simulate tests (#1606)

refactor tests

* feat: add new primitive for trace and blockifier conversions

* feat: add TransactionExecutionInfo convert from blockifier

* feat: add executor trait method to retrieve the execution info

* fix: ensure tx execution info is passed in block producer

* chore: restore dependency on blockifier as we use TxExecInfo primitive

* refactor(katana): decouple `katana-primitives` from any executor impls (#1637)

* fix: clippy / fmt

* merge

* fix: clippy

---------

Co-authored-by: Kariy <ammr.arf@gmail.com>
Co-authored-by: Ammar Arif <evergreenkary@gmail.com>
kariy added a commit that referenced this pull request Mar 20, 2024
* chore: bump dependencies

* fix: update cairo-lang

* fix: add missing run_profiler

* fix: fmt

* update cairo-vm rev

* wip

* wip

* fmt

* fix: ensure semantics analyzer plugin is registered

* chore(katana): make ethers non optional since U256 is used outside messaging

* fix: run CAIRO_FIX_TESTS

* fix(dojo-core): remove compiler warnings

* git: add sozo generated bindings to gitignore

* fix: fix class hash

* fix: class hash generated code

* fix(dojo-core): fix tests and compilation warnings

* chore: integrate snos on cairo2.5

* chore: update Cargo.lock

* wip: work on integration of katana types

* wip: fetch strategy

* fix

* feat: add parsing of state diff for genesis block

* wip

* wip

* fix: rework provider for saya and RPC implem

* wip

* wip: snos types

* wip txs

* wip: fix snos parsing need to complete inputs

* chore: switch back to git snos

* chore: bump blockifier to use Serde on TransactionExecutionInfo

* feat: add saya RPC namespace

* feat: add transaction execution info to in memory db

* fix: remove unused code covered by other test

* fix: add logic for small requests to get transactions executions info

* fix: fetch transactions executions info instead of running blockifier

* fix: fmt and clippy

* docs: fix unused type

* fix: add tests for new transactions execution retrieval

* fix: add correct test to check no pending support

* fix: restore unchanged file

* fix: rename new provider trait to TransactionTraceProvider

* refactor(katana): change stored compiled class (#1559)

Both `blockifier` and `starknet_in_rust` use their own proprietary contract class types. So need to have a type where the types from those two crates can be derived from.

* refactor(katana-primitives): move class related types to a separate module (#1560)

* Katana executor traits (#1561)

* feat(katana-executor): add `blockifier` executor implementations (#1562)

implement the executor traits introduced in #1561 based on `blockifier`

* Refactor Katana to using the new executor traits (#1563)

integrate the new executor traits introduced in #1561 to katana

* feat(katana-executor): add starknet_in_rust executor (#1564)

* doc(katana-executor): add README

* test(katana-executor): add test for transaction simulation (#1593)

* test(katana-executor): refactor simulate tests (#1606)

refactor tests

* adjust new types for Katana blockchain and SNOS

* fix: clippy

* refactor(katana): change stored compiled class (#1559)

Both `blockifier` and `starknet_in_rust` use their own proprietary contract class types. So need to have a type where the types from those two crates can be derived from.

* refactor(katana-primitives): move class related types to a separate module (#1560)

* Katana executor traits (#1561)

* feat(katana-executor): add `blockifier` executor implementations (#1562)

implement the executor traits introduced in #1561 based on `blockifier`

* Refactor Katana to using the new executor traits (#1563)

integrate the new executor traits introduced in #1561 to katana

* feat(katana-executor): add starknet_in_rust executor (#1564)

* doc(katana-executor): add README

* test(katana-executor): add test for transaction simulation (#1593)

* test(katana-executor): refactor simulate tests (#1606)

refactor tests

* feat: add new primitive for trace and blockifier conversions

* feat: add TransactionExecutionInfo convert from blockifier

* feat: add executor trait method to retrieve the execution info

* fix: ensure tx execution info is passed in block producer

* chore: restore dependency on blockifier as we use TxExecInfo primitive

* refactor(katana): decouple `katana-primitives` from any executor impls (#1637)

* fix: clippy / fmt

* merge

* fix: clippy

---------

Co-authored-by: Kariy <ammr.arf@gmail.com>
Co-authored-by: Ammar Arif <evergreenkary@gmail.com>
kariy added a commit that referenced this pull request Mar 21, 2024
* chore: bump dependencies

* fix: update cairo-lang

* fix: add missing run_profiler

* fix: fmt

* update cairo-vm rev

* wip

* wip

* fmt

* fix: ensure semantics analyzer plugin is registered

* chore(katana): make ethers non optional since U256 is used outside messaging

* fix: run CAIRO_FIX_TESTS

* fix(dojo-core): remove compiler warnings

* git: add sozo generated bindings to gitignore

* fix: fix class hash

* fix: class hash generated code

* fix(dojo-core): fix tests and compilation warnings

* chore: integrate snos on cairo2.5

* chore: update Cargo.lock

* wip: work on integration of katana types

* wip: fetch strategy

* fix

* feat: add parsing of state diff for genesis block

* wip

* wip

* fix: rework provider for saya and RPC implem

* wip

* wip: snos types

* wip txs

* wip: fix snos parsing need to complete inputs

* chore: switch back to git snos

* chore: bump blockifier to use Serde on TransactionExecutionInfo

* feat: add saya RPC namespace

* feat: add transaction execution info to in memory db

* fix: remove unused code covered by other test

* fix: add logic for small requests to get transactions executions info

* fix: fetch transactions executions info instead of running blockifier

* fix: fmt and clippy

* docs: fix unused type

* fix: add tests for new transactions execution retrieval

* fix: add correct test to check no pending support

* fix: restore unchanged file

* fix: rename new provider trait to TransactionTraceProvider

* refactor(katana): change stored compiled class (#1559)

Both `blockifier` and `starknet_in_rust` use their own proprietary contract class types. So need to have a type where the types from those two crates can be derived from.

* refactor(katana-primitives): move class related types to a separate module (#1560)

* Katana executor traits (#1561)

* feat(katana-executor): add `blockifier` executor implementations (#1562)

implement the executor traits introduced in #1561 based on `blockifier`

* Refactor Katana to using the new executor traits (#1563)

integrate the new executor traits introduced in #1561 to katana

* feat(katana-executor): add starknet_in_rust executor (#1564)

* doc(katana-executor): add README

* test(katana-executor): add test for transaction simulation (#1593)

* test(katana-executor): refactor simulate tests (#1606)

refactor tests

* adjust new types for Katana blockchain and SNOS

* fix: clippy

* refactor(katana): change stored compiled class (#1559)

Both `blockifier` and `starknet_in_rust` use their own proprietary contract class types. So need to have a type where the types from those two crates can be derived from.

* refactor(katana-primitives): move class related types to a separate module (#1560)

* Katana executor traits (#1561)

* feat(katana-executor): add `blockifier` executor implementations (#1562)

implement the executor traits introduced in #1561 based on `blockifier`

* Refactor Katana to using the new executor traits (#1563)

integrate the new executor traits introduced in #1561 to katana

* feat(katana-executor): add starknet_in_rust executor (#1564)

* doc(katana-executor): add README

* test(katana-executor): add test for transaction simulation (#1593)

* test(katana-executor): refactor simulate tests (#1606)

refactor tests

* feat: add new primitive for trace and blockifier conversions

* feat: add TransactionExecutionInfo convert from blockifier

* feat: add executor trait method to retrieve the execution info

* fix: ensure tx execution info is passed in block producer

* chore: restore dependency on blockifier as we use TxExecInfo primitive

* refactor(katana): decouple `katana-primitives` from any executor impls (#1637)

* fix: clippy / fmt

* merge

* fix: clippy

---------

Co-authored-by: Kariy <ammr.arf@gmail.com>
Co-authored-by: Ammar Arif <evergreenkary@gmail.com>
@kariy kariy mentioned this pull request Mar 25, 2024
kariy added a commit that referenced this pull request Mar 26, 2024
…namespace (#1697)

* refactor(katana): change stored compiled class (#1559)

Both `blockifier` and `starknet_in_rust` use their own proprietary contract class types. So need to have a type where the types from those two crates can be derived from.

* refactor(katana-primitives): move class related types to a separate module (#1560)

* Katana executor traits (#1561)

* feat(katana-executor): add `blockifier` executor implementations (#1562)

implement the executor traits introduced in #1561 based on `blockifier`

* Refactor Katana to using the new executor traits (#1563)

integrate the new executor traits introduced in #1561 to katana

* feat(katana-executor): add starknet_in_rust executor (#1564)

* doc(katana-executor): add README

* test(katana-executor): add test for transaction simulation (#1593)

* test(katana-executor): refactor simulate tests (#1606)

refactor tests

* refactor(katana): decouple `katana-primitives` from any executor impls (#1637)

* test(katana-executor): improve tests and add test for state (#1649)

- add tests for each executor's CachedState
- improve test in executor.rs
- fix sir not enough gas error
- fix test in simulate.rs

* feat(saya): load data from Katana to run `SNOS` (#1535)

* chore: bump dependencies

* fix: update cairo-lang

* fix: add missing run_profiler

* fix: fmt

* update cairo-vm rev

* wip

* wip

* fmt

* fix: ensure semantics analyzer plugin is registered

* chore(katana): make ethers non optional since U256 is used outside messaging

* fix: run CAIRO_FIX_TESTS

* fix(dojo-core): remove compiler warnings

* git: add sozo generated bindings to gitignore

* fix: fix class hash

* fix: class hash generated code

* fix(dojo-core): fix tests and compilation warnings

* chore: integrate snos on cairo2.5

* chore: update Cargo.lock

* wip: work on integration of katana types

* wip: fetch strategy

* fix

* feat: add parsing of state diff for genesis block

* wip

* wip

* fix: rework provider for saya and RPC implem

* wip

* wip: snos types

* wip txs

* wip: fix snos parsing need to complete inputs

* chore: switch back to git snos

* chore: bump blockifier to use Serde on TransactionExecutionInfo

* feat: add saya RPC namespace

* feat: add transaction execution info to in memory db

* fix: remove unused code covered by other test

* fix: add logic for small requests to get transactions executions info

* fix: fetch transactions executions info instead of running blockifier

* fix: fmt and clippy

* docs: fix unused type

* fix: add tests for new transactions execution retrieval

* fix: add correct test to check no pending support

* fix: restore unchanged file

* fix: rename new provider trait to TransactionTraceProvider

* refactor(katana): change stored compiled class (#1559)

Both `blockifier` and `starknet_in_rust` use their own proprietary contract class types. So need to have a type where the types from those two crates can be derived from.

* refactor(katana-primitives): move class related types to a separate module (#1560)

* Katana executor traits (#1561)

* feat(katana-executor): add `blockifier` executor implementations (#1562)

implement the executor traits introduced in #1561 based on `blockifier`

* Refactor Katana to using the new executor traits (#1563)

integrate the new executor traits introduced in #1561 to katana

* feat(katana-executor): add starknet_in_rust executor (#1564)

* doc(katana-executor): add README

* test(katana-executor): add test for transaction simulation (#1593)

* test(katana-executor): refactor simulate tests (#1606)

refactor tests

* adjust new types for Katana blockchain and SNOS

* fix: clippy

* refactor(katana): change stored compiled class (#1559)

Both `blockifier` and `starknet_in_rust` use their own proprietary contract class types. So need to have a type where the types from those two crates can be derived from.

* refactor(katana-primitives): move class related types to a separate module (#1560)

* Katana executor traits (#1561)

* feat(katana-executor): add `blockifier` executor implementations (#1562)

implement the executor traits introduced in #1561 based on `blockifier`

* Refactor Katana to using the new executor traits (#1563)

integrate the new executor traits introduced in #1561 to katana

* feat(katana-executor): add starknet_in_rust executor (#1564)

* doc(katana-executor): add README

* test(katana-executor): add test for transaction simulation (#1593)

* test(katana-executor): refactor simulate tests (#1606)

refactor tests

* feat: add new primitive for trace and blockifier conversions

* feat: add TransactionExecutionInfo convert from blockifier

* feat: add executor trait method to retrieve the execution info

* fix: ensure tx execution info is passed in block producer

* chore: restore dependency on blockifier as we use TxExecInfo primitive

* refactor(katana): decouple `katana-primitives` from any executor impls (#1637)

* fix: clippy / fmt

* merge

* fix: clippy

---------

Co-authored-by: Kariy <ammr.arf@gmail.com>
Co-authored-by: Ammar Arif <evergreenkary@gmail.com>

* feat(katana-primitives): add fee info type

* Refactor executor output

* fix(katana): add missing contract address in `CallInfo`

* Remove `native` feature for now

* Limit nextest build jobs

* refactor(katana-executor): add logs for transaction events and resources

* fix(katana-executor): return reverted tx as error in estimate fee

---------

Co-authored-by: glihm <dev@glihm.net>
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