-
Notifications
You must be signed in to change notification settings - Fork 91
Open
Labels
enhancementNew feature or requestNew feature or request
Description
create-chimera-app (https://github.com/Recon-Fuzz/create-chimera-app/), and more specifically https://github.com/Recon-Fuzz/setup-helpers has this (in https://github.com/Recon-Fuzz/setup-helpers/blob/main/src/ActorManager.sol):
/// @dev Expose this in the `TargetFunctions` contract to let the fuzzer switch actors
/// @notice Switches the current actor based on the entropy
/// @param entropy The entropy to choose a random actor in the array for switching
/// @return target The new active actor
function _switchActor(uint256 entropy) internal returns (address target) {
target = _actors.at(entropy % _actors.length());
_actor = target;
}this fails in the solidity storage manager with
ERROR depth=2: addr=0x7fa9385be102ac3eac297483dd6233d62b3e1496: symbolic storage base slot: Concat(0x588716a93b09039d937766feb8bf3519067a25a57d61583996cfe5f15bfd067b, Extract(0x00, 0x00, p_entropy_uint256_d24126a_63))
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request