echidna/tests/solidity/basic/memory-reset.sol

contract ShouldNotRevert {	
  function f() public { }

   function echidna_memory() public returns (bool) {	
    bool[] memory includeMap = new bool[](1);	
    if (includeMap[0]) {	
      revert();	
    }	
    return true;	
  }	
}