Skip to content

starknet_os_flow_tests: fuzz test scenario filtering mechanism#13050

Merged
dorimedini-starkware merged 2 commits intomain-v0.14.2from
03-05-starknet_os_flow_tests_fuzz_test_scenario_filtering_mechanism
Mar 11, 2026
Merged

starknet_os_flow_tests: fuzz test scenario filtering mechanism#13050
dorimedini-starkware merged 2 commits intomain-v0.14.2from
03-05-starknet_os_flow_tests_fuzz_test_scenario_filtering_mechanism

Conversation

@dorimedini-starkware
Copy link
Collaborator

@dorimedini-starkware dorimedini-starkware commented Mar 5, 2026

Note

Low Risk
Test-only change that adds optional operation filtering and updates fuzz/exhaustive test harnesses to use it; low production risk, but could change fuzz coverage and scenario counts.

Overview
Adds an optional operation filtering mechanism to fuzz scenario generation in fuzz_tests.rs, allowing callers to restrict which FuzzOperationData variants are considered when building random or exhaustive operation lists.

Updates the fuzz test APIs (valid_operations, add_random_operation, get_all_operation_lists, and fuzz_test_body) to accept an optional OperationFilter, and extends test_daily_fuzz_seed to run both the unfiltered suite and a new limited scenario set (call/write/panic/return), while keeping exhaustive and long fuzz tests defaulting to no filter.

Written by Cursor Bugbot for commit 927fb1b. This will update automatically on new commits. Configure here.

@reviewable-StarkWare
Copy link

This change is Reviewable

@dorimedini-starkware dorimedini-starkware self-assigned this Mar 5, 2026
@dorimedini-starkware dorimedini-starkware marked this pull request as ready for review March 5, 2026 14:22
@dorimedini-starkware dorimedini-starkware force-pushed the 03-05-starknet_os_flow_tests_fuzz_test_scenario_filtering_mechanism branch from b9d0cda to 9aa4533 Compare March 5, 2026 15:16
@dorimedini-starkware dorimedini-starkware force-pushed the 03-05-starknet_os_flow_tests_fuzz_test_library_call_nonexisting_class_scenario branch from a7b94f0 to 538decd Compare March 5, 2026 15:16
@dorimedini-starkware dorimedini-starkware force-pushed the 03-05-starknet_os_flow_tests_fuzz_test_scenario_filtering_mechanism branch 2 times, most recently from 0b21ed4 to 685f784 Compare March 10, 2026 15:22
@dorimedini-starkware dorimedini-starkware force-pushed the 03-05-starknet_os_flow_tests_fuzz_test_library_call_nonexisting_class_scenario branch from 46efda9 to 2e18437 Compare March 10, 2026 15:22
Copy link
Collaborator

@Yoni-Starkware Yoni-Starkware left a comment

Choose a reason for hiding this comment

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

:lgtm:

@Yoni-Starkware reviewed 1 file and all commit messages, and made 1 comment.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on dorimedini-starkware).

@dorimedini-starkware dorimedini-starkware force-pushed the 03-05-starknet_os_flow_tests_fuzz_test_library_call_nonexisting_class_scenario branch from 2e18437 to c435c98 Compare March 11, 2026 09:01
@dorimedini-starkware dorimedini-starkware force-pushed the 03-05-starknet_os_flow_tests_fuzz_test_scenario_filtering_mechanism branch from 685f784 to 072b241 Compare March 11, 2026 09:01
@graphite-app graphite-app bot changed the base branch from 03-05-starknet_os_flow_tests_fuzz_test_library_call_nonexisting_class_scenario to graphite-base/13050 March 11, 2026 12:03
@dorimedini-starkware dorimedini-starkware force-pushed the 03-05-starknet_os_flow_tests_fuzz_test_scenario_filtering_mechanism branch from 072b241 to 4eae574 Compare March 11, 2026 12:31
@dorimedini-starkware dorimedini-starkware changed the base branch from graphite-base/13050 to 03-05-starknet_os_flow_tests_fuzz_test_library_call_nonexisting_class_scenario March 11, 2026 12:31
@dorimedini-starkware dorimedini-starkware changed the base branch from 03-05-starknet_os_flow_tests_fuzz_test_library_call_nonexisting_class_scenario to graphite-base/13050 March 11, 2026 12:36
@dorimedini-starkware dorimedini-starkware force-pushed the 03-05-starknet_os_flow_tests_fuzz_test_scenario_filtering_mechanism branch from 4eae574 to 927fb1b Compare March 11, 2026 14:12
@dorimedini-starkware dorimedini-starkware changed the base branch from graphite-base/13050 to 03-05-starknet_os_flow_tests_fuzz_test_library_call_nonexisting_class_scenario March 11, 2026 14:12
@dorimedini-starkware dorimedini-starkware changed the base branch from 03-05-starknet_os_flow_tests_fuzz_test_library_call_nonexisting_class_scenario to main-v0.14.2 March 11, 2026 14:57
Copy link
Collaborator Author

@dorimedini-starkware dorimedini-starkware left a comment

Choose a reason for hiding this comment

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

@dorimedini-starkware reviewed 6 files and all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on dorimedini-starkware).

@dorimedini-starkware dorimedini-starkware added this pull request to the merge queue Mar 11, 2026
Merged via the queue into main-v0.14.2 with commit d214a90 Mar 11, 2026
15 of 19 checks passed
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.

3 participants