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

feat invariant (#5868) - configure calldata fuzzed addresses dictionary #7240

Merged
merged 7 commits into from
Mar 2, 2024

Commits on Feb 26, 2024

  1. issue foundry-rs#5868

    - added `FuzzDictionaryConfig.max_calldata_fuzz_dictionary_addresses` option to specify how many random addresses to generate and to randomly select from when fuzzing calldata. If option is not specified then current behavior applies
    - to narrow down number of runs / addresses involved in invariant test the `CalldataFuzzDictionaryConfig` is populated with random addresses plus all accounts from db (from `EvmFuzzState`)
    - added `fuzz_calldata_with_config` fn that accepts `Option<CalldataFuzzDictionary>` as param. Non invariants tests use existing `fuzz_calldata` fn and pass None as config arg
    grandizzy committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    4991196 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. Configuration menu
    Copy the full SHA
    d208a4d View commit details
    Browse the repository at this point in the history
  2. Add test from issue 5868

    grandizzy committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    abe6c8b View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. Configuration menu
    Copy the full SHA
    f6cac1e View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. Configuration menu
    Copy the full SHA
    c674a8c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b77dcb6 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2024

  1. Configuration menu
    Copy the full SHA
    7f14cdc View commit details
    Browse the repository at this point in the history