Skip to content

bytes32 should be added to the constants dictionary too #562

@gustavo-grieco

Description

@gustavo-grieco

Medusa fails to solve this:

contract ConstantsBytes32 {
  bool found = false;

  function find(bytes32 s) public {
    if (s == "test") {found = true;}
  }

  function echidna_found32() public view returns (bool) {
    return(!found);
  }
}

It looks like the "test" constant is not used as a bytes32.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions