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.

Sign up for GitHub

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

Jump to bottom

Invariant tests for UbiquityPoolFacet #953

Merged
merged 17 commits into from
Sep 23, 2024
Merged

Invariant tests for UbiquityPoolFacet #953

merged 17 commits into from
Sep 23, 2024

Commits on Aug 21, 2024

  1. test(UbiquityPoolFacet): add invariant tests for collateral token add… 

    …ition and price feed setup
    @alexandr-masl
    alexandr-masl committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    9e0d5fc View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2024

  1. test(ubiquityPoolFacet): add invariant test for Ubiquity Dollar minti… 

    …ng limits with fuzzing
    @alexandr-masl
    alexandr-masl committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    42d739a View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. test(ubiquity-pool-facet): add collateral, ceiling, redeem, and dolla… 

    …r price manipulation tests
    @alexandr-masl
    alexandr-masl committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    6689906 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. test(UbiquityPoolFacetInvariantTest): add collateral price manipulati… 

    …on and update invariant
    @alexandr-masl
    alexandr-masl committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    142f779 View commit details
    Browse the repository at this point in the history

  2. test(UbiquityPoolFacetInvariantTest): delete irrelevant logs

    @alexandr-masl
    alexandr-masl committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    5407774 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2024

  1. test(lib-ubiquity-pool): add conservative estimates for price and fees

    @alexandr-masl
    alexandr-masl committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    dd94c7e View commit details
    Browse the repository at this point in the history

  2. test(pool-facet-handler): add fuzzed parameters to dollar price manip… 

    …ulation tests
    @alexandr-masl
    alexandr-masl committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    989d9c6 View commit details
    Browse the repository at this point in the history

  3. test(pool-facet-handler): add usd price manipulations

    @alexandr-masl
    alexandr-masl committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    1b7f1da View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. test(pool-facet-handler): eth/usd price manipulations

    @alexandr-masl
    alexandr-masl committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    fd8acb6 View commit details
    Browse the repository at this point in the history

  2. test(pool-facet-handler): add docs

    @alexandr-masl
    alexandr-masl committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    26abd14 View commit details
    Browse the repository at this point in the history

  3. test(pool-facet-handler): deted hard params for redeemDollar

    @alexandr-masl
    alexandr-masl committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    dfff4f3 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. test(pool-facet-handler): update assume statements in redeemDollar an… 

    …d mintUbiquityDollars
    @alexandr-masl
    alexandr-masl committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    b49a875 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. test(pool-facet-handler): refactor the income fuzz parameters

    @alexandr-masl
    alexandr-masl committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    44e9bf5 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. test(pool-facet-invariant): add new invariant checks for minting and … 

    …redemption
    @alexandr-masl
    alexandr-masl committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    316d557 View commit details
    Browse the repository at this point in the history

  2. test(setting-up-ci): add deep-invariant ci sttings

    @alexandr-masl
    alexandr-masl committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    16de33c View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. test(ci-settings): update fuzz and invariant ci settings

    @alexandr-masl
    alexandr-masl committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    ae26dfb View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. test: add an invariant profile to the foundry configuration

    @alexandr-masl
    alexandr-masl committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    e5c687e View commit details
    Browse the repository at this point in the history