mirror of
https://github.com/crytic/echidna.git
synced 2026-10-12 02:12:32 +00:00
Gustavo Grieco
59c85d45f3
* initial support for deployment of certain contracts in specific addresses * fix * hlint fixes * allow to deploy specific bytecode instead of contracts * fix * use b16 decoding for bytecodes * fix * fix * added two tests to cover this new feature
10 lines
139 B
Solidity
10 lines
139 B
Solidity
contract A {
|
|
uint256 public x = 128;
|
|
}
|
|
|
|
contract Test {
|
|
function test(uint256 y) public {
|
|
assert(A(address(0x42)).x() == y);
|
|
}
|
|
}
|