Skip to content

feat: Bound by default for invariants #10174

@18121A05L2

Description

@18121A05L2

Component

Other (please describe)

Describe the feature you would like

This is regarding bound in foundry tests

what I have seen mostly was that when I was testing invariants in foundry to mitigate the overflow issues i want to write bound function in each and every function , can we have something like below

if i thought that all my numbers will bound to specific range like 0 to type(uint).max , can we have a default function that allows for all the function inputs in that specific handler

or something like in .toml file where we can keep some default min and max numbers so that all the testing numbers in the invariants will bound to those min and max

Additional context

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    T-featureType: featureT-needs-triageType: this issue needs to be labelled

    Type

    No type

    Projects

    Status

    Done

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions