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
/// @dev Expose this in the `TargetFunctions` contract to let the fuzzer switch actors
71
71
/// NOTE: We revert if the entropy is greater than the number of actors, for Halmos compatibility
72
+
/// @dev This may reduce fuzzing performance if using multiple actors, if so add explicitly clamped handlers to ManagersTargets using the index of all added actors
72
73
/// @notice Switches the current actor based on the entropy
73
74
/// @param entropy The entropy to choose a random actor in the array for switching
0 commit comments