foundry2echidna 0.2.1

Easily seed Echidna with Foundry broadcast files
Documentation 
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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78

[
  {
    "address": "0xf39fd6e51aad88f6f4ce6ab8827279cfffb92266",
    "event": "AccountCreated"
  },
  {
    "address": "0x70997970c51812dc3a010c7d01b50e0d17dc79c8",
    "event": "AccountCreated"
  },
  {
    "address": "0x3c44cdddb6a900fa2b585dd299e03d12fa4293bc",
    "event": "AccountCreated"
  },
  {
    "address": "0x90f79bf6eb2c4f870365e785982e1f101e93b906",
    "event": "AccountCreated"
  },
  {
    "address": "0x15d34aaf54267db7d7c367839aaf71a00a2c6a65",
    "event": "AccountCreated"
  },
  {
    "address": "0x9965507d1a55bcc2695c58ba16fb37d819b0a4dc",
    "event": "AccountCreated"
  },
  {
    "address": "0x976ea74026e726554db657fa54763abd0c3a0aa9",
    "event": "AccountCreated"
  },
  {
    "address": "0x14dC79964da2C08b23698B3D3cc7Ca32193d9955",
    "event": "AccountCreated"
  },
  {
    "address": "0x23618e81e3f5cdf7f54c3d65f7fbc0abf5b21e8f",
    "event": "AccountCreated"
  },
  {
    "address": "0xa0ee7a142d267c1f36714e4a8f75612f20a79720",
    "event": "AccountCreated"
  },
  {
    "contract_address": "0x057ef64E23666F000b34aE31332854aCBd1c8544",
    "data": "0x6080604",
    "event": "ContractCreated",
    "from": "0x90f79bf6eb2c4f870365e785982e1f101e93b906",
    "gas_price": "0xe0fed783",
    "gas_used": "0x6e675",
    "value": "0x0"
  },
  {
    "contract_address": "0x261D8c5e9742e6f7f1076Fa1F560894524e19cad",
    "data": "0x608060405",
    "event": "ContractCreated",
    "from": "0x90f79bf6eb2c4f870365e785982e1f101e93b906",
    "gas_price": "0xe0fed783",
    "gas_used": "0x71658",
    "value": "0x0"
  },
  {
    "data": "0x202023",
    "event": "FunctionCall",
    "from": "0x90f79bf6eb2c4f870365e785982e1f101e93b906",
    "gas_price": "0xe0fed783",
    "gas_used": "0xb3bd",
    "to": "0x057ef64e23666f000b34ae31332854acbd1c8544",
    "value": "0x0"
  },
  {
    "data": "0xdfc86b17000000000000000000000000261d8c5e9742e6f7f1076fa1f560894524e19cad",
    "event": "FunctionCall",
    "from": "0x90f79bf6eb2c4f870365e785982e1f101e93b906",
    "gas_price": "0xe0fed783",
    "gas_used": "0x473e9",
    "to": "0x057ef64e23666f000b34ae31332854acbd1c8544",
    "value": "0x0"
  }
]