mirror of
https://github.com/crytic/echidna.git
synced 2026-10-12 02:12:32 +00:00
samalws-tob
e0d243a939
* WIP implementation using codehash map * compiles and runs; significantly faster than master * use codehash for signaturemap * remove metadata cache * use codeContract rather than contract; use env rather than individual pieces of env * refactor codehash helper functions * hlint * cleanup * added test (don't know if it works yet) * Add @arcz 's suggestions * fallback on bytecode metadata if findSrc doesn't work * fix tests * rename Echidna.Types.CodehashMap to Echidna.SignatureMapping
12 lines
201 B
Solidity
12 lines
201 B
Solidity
contract D {
|
|
uint256 public immutable n;
|
|
bool public state = true;
|
|
constructor(uint256 _n) public {
|
|
n = _n;
|
|
}
|
|
function set() external {
|
|
if (n != 1) revert();
|
|
state = false;
|
|
}
|
|
}
|