Nabla now uses fuzz tests (see here), a feature of forge.
Fuzz tests are tests that have a number of arguments. All such arguments need to be of type bigint. Fuzz tests are run a number of times (that we can make configurable later) – for now it should be 64 test runs times the number of arguments.
For each test run the test runner should plug in an arbitrary combination of input values for these arguments, each time from the range of uint256 numbers (i.e., 0 to 2**256-1).
Nabla now uses fuzz tests (see here), a feature of forge.
Fuzz tests are tests that have a number of arguments. All such arguments need to be of type
bigint
. Fuzz tests are run a number of times (that we can make configurable later) – for now it should be 64 test runs times the number of arguments.For each test run the test runner should plug in an arbitrary combination of input values for these arguments, each time from the range of uint256 numbers (i.e., 0 to 2**256-1).