Previously, only a single length for dynamic-sized parameters in test functions was considered.
Now, users can specify multiple lengths, and all possible combinations of these lengths will be considered during symbolic execution. Also, users can now set default lengths for dynamic arrays independently of the loop unrolling bound, whereas they were previously tied to the --loop value implicitly.
Flags to specify lengths:
--array-lengths: specifies lengths for dynamic parameters (including dynamic arrays, bytes, and strings)
--default-array-lengths: set default lengths for dynamic arrays
--default-bytes-lengths: set default lengths for bytes and strings
Previously, only a single length for dynamic-sized parameters in test functions was considered.
Now, users can specify multiple lengths, and all possible combinations of these lengths will be considered during symbolic execution. Also, users can now set default lengths for dynamic arrays independently of the loop unrolling bound, whereas they were previously tied to the --loop value implicitly.
Flags to specify lengths: