Skip to content

support for switchActor-style handlers #558

Description

@0xkarmacoma

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))

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions