added missing test file

pull/211/head
ggrieco-tob 6 years ago
parent 90b512fa72
commit 8a1242b9d3
  1. 11
      examples/solidity/basic/memory-reset.sol

@ -0,0 +1,11 @@
contract ShouldNotRevert {
function f() public { }
function echidna_should_not_revert() public returns (bool) {
bool[] memory includeMap = new bool[](1);
if (includeMap[0]) {
revert();
}
return true;
}
}
Loading…
Cancel
Save