generated from patrickd-/solidity-fuzzing-boilerplate
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathechidna-init.json
60 lines (60 loc) · 4.58 KB
/
echidna-init.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
[
{
"event": "AccountCreated",
"address": "5409ed021d9299bf6814279a6a1411a7e866a631"
},
{
"event": "AccountCreated",
"address": "6ecbe1db9ef729cbe972c83fb886247691fb6beb"
},
{
"event": "AccountCreated",
"address": "e36ea790bc9d7ab70c55260c66d52b1eca985f84"
},
{
"event": "AccountCreated",
"address": "e834ec434daba538cd1b9fe1582052b880bd7e63"
},
{
"event": "AccountCreated",
"address": "78dc5d2d739606d31509c31d654056a45185ecb6"
},
{
"event": "AccountCreated",
"address": "a8dda8d7f5310e4a9e24f8eba77e091ac264f872"
},
{
"event": "AccountCreated",
"address": "06cef8e666768cc40cc78cf93d9611019ddcb628"
},
{
"event": "AccountCreated",
"address": "4404ac8bd8f9618d27ad2f1485aa1b2cfd82482d"
},
{
"event": "AccountCreated",
"address": "7457d5e02197480db681d3fdf256c7aca21bdc12"
},
{
"event": "AccountCreated",
"address": "91c987bf62d25945db517bdaa840a6c661374402"
},
{
"event": "ContractCreated",
"from": "0x5409ED021D9299bf6814279A6A1411A7e866A631",
"contract_address": "0x1dc4c1cefef38a777b15aa20260a54e584b16c48",
"gas_used": "0x3c9c2",
"gas_price": "20000000000",
"data": "0x608060405234801561001057600080fd5b5061038d806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c8063e004139614610030575b600080fd5b61004361003e366004610226565b610059565b60405161005091906102a5565b60405180910390f35b606061009e85858080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508792508691506100a79050565b95945050505050565b6060816100b581601f610318565b1015610122576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f736c6963655f6f766572666c6f7700000000000000000000000000000000000060448201526064015b60405180910390fd5b61012c8284610318565b84511015610196576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f736c6963655f6f75744f66426f756e64730000000000000000000000000000006044820152606401610119565b6060821580156101b5576040519150600082526020820160405261021d565b6040519150601f8416801560200281840101858101878315602002848b0101015b818310156101ee5780518352602092830192016101d6565b5050858452601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016604052505b50949350505050565b6000806000806060858703121561023c57600080fd5b843567ffffffffffffffff8082111561025457600080fd5b818701915087601f83011261026857600080fd5b81358181111561027757600080fd5b88602082850101111561028957600080fd5b6020928301999098509187013596604001359550909350505050565b600060208083528351808285015260005b818110156102d2578581018301518582016040015282016102b6565b818111156102e4576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b60008219821115610352577f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b50019056fea26469706673582212205896e3f516e54dd7b6f84c4bd4322456bdb93dc5e10425a012ab09ed0956eb6864736f6c634300080d0033",
"value": "0"
},
{
"event": "ContractCreated",
"from": "0x5409ED021D9299bf6814279A6A1411A7e866A631",
"contract_address": "0x1d7022f5b17d2f8b695918fb48fa1089c9f85401",
"gas_used": "0x2d8ef",
"gas_price": "20000000000",
"data": "0x608060405234801561001057600080fd5b5061026b806100206000396000f3006080604052600436106100245760003560e01c63ffffffff168063e004139614610029575b600080fd5b34801561003557600080fd5b506100506024600480358281019291013590356044356100c5565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561008a578181015183820152602001610072565b50505050905090810190601f1680156100b75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b606061010485858080601f016020809104026020016040519081016040528093929190818152602001838380828437820191505050505050848461010d565b95945050505050565b6060600080606084860187511015151561018857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f736c6963696e67206f7574206f662072616e6765000000000000000000000000604482015290519081900360640190fd5b8415156101a5576040805160008152602081019091529350610235565b60207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff860104600101925060009150846040519080825280601f01601f191660200182016040528015610202578160200160208202803883390190505b509050600091505b8282101561023157602082810287810189018201519083019091015260019091019061020a565b8093505b50505093925050505600a165627a7a72305820748062c05265c39985e4259b2245231d7ef8bba68140131103509ed61469ec340029",
"value": "0"
}
]