You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
While I try to use the default yaml as reference, it seems that there's a lot more information around the state of these variables and how their amounts are calculated. It would be incredibly helpful to document the use of each, and if they rely on modulo values, how they skew.
The prime example of this was for maxBlockDelay and maxTimeDelay operate on a modulo, thus Echidna only really explores a smaller range than what is specified, and not realizing that this would skew towards the lower bound.
The impact of this was Medusa finding a bug before Echidna could, as the modulo skew was resulting in Echidna not hitting those cases until the block delay was expanded significantly.
The text was updated successfully, but these errors were encountered:
Describe the desired feature
While I try to use the default yaml as reference, it seems that there's a lot more information around the state of these variables and how their amounts are calculated. It would be incredibly helpful to document the use of each, and if they rely on modulo values, how they skew.
The prime example of this was for
maxBlockDelay
andmaxTimeDelay
operate on a modulo, thus Echidna only really explores a smaller range than what is specified, and not realizing that this would skew towards the lower bound.The impact of this was Medusa finding a bug before Echidna could, as the modulo skew was resulting in Echidna not hitting those cases until the block delay was expanded significantly.
The text was updated successfully, but these errors were encountered: