Skip to content

Commit ec9ef8a

Browse files
author
Stefan Effenberger
committed
added more test caches
1 parent 2a08993 commit ec9ef8a

81 files changed

Lines changed: 156 additions & 9 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎examples/dvfs/CErc20Delegator_0x5d3a536E4D6DbD6114cc1Ead35777bAB948E3643_updated_updated.dvf.json‎

Lines changed: 77 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,77 @@
1+
{
2+
"version": "0.9.1",
3+
"id": "0x1005c34a2f2507d55a0b36bcddaa77323dea6886300adc94d65f77743c1962aa",
4+
"contract_name": "CErc20Delegator",
5+
"address": "0x5d3a536e4d6dbd6114cc1ead35777bab948e3643",
6+
"chain_id": 1,
7+
"deployment_block_num": 8983575,
8+
"init_block_num": 8983575,
9+
"deployment_tx": "0x090ce7d33359e5d288ce169f41bb3d2cb55ac17b026a10cf80b3fc4f0c85c827",
10+
"codehash": "0x3f1d4a4e2a03855c7ee8f6f2477c1245752a5ca3ef28d59e8fd509efe59ef877",
11+
"insecure": false,
12+
"immutables": [],
13+
"constructor_args": [
14+
{
15+
"var_name": "underlying_",
16+
"value": "0x6b175474e89094c44da98b954eedeac495271d0f",
17+
"value_hint": "Dai (DAI)"
18+
},
19+
{
20+
"var_name": "comptroller_",
21+
"value": "0x3d9819210a31b4961b30ef54be2aed79b9c9cd3b"
22+
},
23+
{
24+
"var_name": "interestRateModel_",
25+
"value": "0x5562024784cc914069d67d89a28e3201bf7b57e7"
26+
},
27+
{
28+
"var_name": "initialExchangeRateMantissa_",
29+
"value": "a56fa5b99019a5c8000000",
30+
"value_hint": "2. * 10^26"
31+
},
32+
{
33+
"var_name": "name_",
34+
"value": "Compound Dai"
35+
},
36+
{
37+
"var_name": "symbol_",
38+
"value": "cDAI"
39+
},
40+
{
41+
"var_name": "decimals_",
42+
"value": "8",
43+
"value_hint": "8"
44+
},
45+
{
46+
"var_name": "admin_",
47+
"value": "0x6d903f6003cca6255d85cca4d3b5e5146dc33925"
48+
},
49+
{
50+
"var_name": "implementation_",
51+
"value": "0x99ee778b9a6205657dd03b2b91415c8646d521ec"
52+
},
53+
{
54+
"var_name": "becomeImplementationData",
55+
"value": "00"
56+
}
57+
],
58+
"critical_storage_variables": [
59+
{
60+
"slot": "0x5",
61+
"offset": 0,
62+
"var_name": "unknown",
63+
"var_type": null,
64+
"value": "0x0000000000000000000000003d9819210a31b4961b30ef54be2aed79b9c9cd3b",
65+
"comparison_operator": "Equal"
66+
},
67+
{
68+
"slot": "0x12",
69+
"offset": 0,
70+
"var_name": "unknown",
71+
"var_type": null,
72+
"value": "0x0000000000000000000000003363bae2fc44da742df13cd3ee94b6bb868ea376",
73+
"comparison_operator": "Equal"
74+
}
75+
],
76+
"critical_events": []
77+
}

‎tests/cachedrpc/00b69efa4355bd4b36b810e16fe7818105f3af73d078d747399e352e7778c060‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"jsonrpc":"2.0","id":1,"result":{"blockHash":"0x359d1dc4f14f9a07cba3ae8416958978ce98f78ad7b8d505925dad9722081f04","blockNumber":"0x98b723","contractAddress":null,"cumulativeGasUsed":"0x70a40f","effectiveGasPrice":"0xee6b2800","from":"0xf94e5cdf41247e268d4847c30a0dc2893b33e85d","gasUsed":"0x2659ea","logs":[{"address":"0x5c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f","topics":["0x0d3648bd0f6ba80134a33ba9275ac585d9d315f0ad8355cddefde31afa28d0e9","0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48","0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2"],"data":"0x000000000000000000000000b4e16d0168e52d35cacd2c6185b44281ec28c9dc0000000000000000000000000000000000000000000000000000000000000001","blockNumber":"0x98b723","transactionHash":"0xd07cbde817318492092cc7a27b3064a69bd893c01cb593d6029683ffd290ab3a","transactionIndex":"0x26","blockHash":"0x359d1dc4f14f9a07cba3ae8416958978ce98f78ad7b8d505925dad9722081f04","blockTimestamp":"0x5eb1cb01","logIndex":"0x22","removed":false}],"logsBloom":"0x00000008000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000400000000200000000000000000000000000000000000000000800000000000000000000000000000000000000000000000080000100000000000000000000000000080040000000000000000000000000000000000000000000000000080000000000000004000000000000000000000000000000","status":"0x1","to":"0x5c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f","transactionHash":"0xd07cbde817318492092cc7a27b3064a69bd893c01cb593d6029683ffd290ab3a","transactionIndex":"0x26","type":"0x0"}}

‎tests/cachedrpc/027a731b76d6d2858c11f8a1ef89d9d97f952a11ddd1222b83284a0f807d8aef‎

Lines changed: 1 addition & 0 deletions
Large diffs are not rendered by default.

‎tests/cachedrpc/05b56ca39ebaab064f237cdf533815d8f1d5553d32f53de957d79b7323d01d82‎

Lines changed: 1 addition & 0 deletions
Large diffs are not rendered by default.

‎tests/cachedrpc/065a8b8b02e1c8b9fcd976042679e8a0584197613e700ea9012c51575e3e9a1a‎

Lines changed: 1 addition & 0 deletions
Large diffs are not rendered by default.

‎tests/cachedrpc/0a2a35c2c728c70e21b6ff193ad413d2e35428dae50a303cebbf1b170079436a‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"jsonrpc":"2.0","id":1,"result":[]}

‎tests/cachedrpc/0c04ef1d8d29d4e1c1e1a2493329ff9cd791c620911d8a6aa11e40154382cc60‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"jsonrpc":"2.0","id":1,"result":{"post":{"0x4675c7e5baafbffbca748158becba61ef3b0a263":{"balance":"0x542fd30bd6cf4a"},"0x5180db0237291a6449dda9ed33ad90a38787621c":{"balance":"0xaf0fef366f72c0bf","nonce":3903},"0x5e8422345238f34275888049021821e8e08caa1f":{"storage":{"0x309d92492c7f635f58f756695c94812586abca8aee21131e72d98c0b96a8da75":"0x0000000000000000000000000000000000000000000000000de444324c2a8000"}}},"pre":{"0x4675c7e5baafbffbca748158becba61ef3b0a263":{"balance":"0x54078adc51d64a","nonce":9496},"0x5180db0237291a6449dda9ed33ad90a38787621c":{"balance":"0xaf10c13ecbdd7187","nonce":3902},"0x5e8422345238f34275888049021821e8e08caa1f":{"balance":"0x0","code":"0x608060405234801561001057600080fd5b50600436106101c45760003560e01c806379ba5097116100f9578063a9059cbb11610097578063d73ced0411610071578063d73ced04146103b6578063dc6663c7146103c9578063dd62ed3e146103dc578063f46eccc4146103ef57600080fd5b8063a9059cbb1461037d578063bdacb30314610390578063d505accf146103a357600080fd5b80638da5cb5b116100d35780638da5cb5b1461033c57806395d89b411461034f578063983b2d5614610357578063a457c2d71461036a57600080fd5b806379ba50971461030e57806379cc6790146103165780637ecebe001461032957600080fd5b80633644e5151161016657806353a47bb71161014057806353a47bb7146102945780636a257ebc146102bf57806370a08231146102d25780637941bc89146102fb57600080fd5b80633644e51514610266578063395093511461026e57806342966c681461028157600080fd5b806318160ddd116101a257806318160ddd1461021f57806323b872dd146102315780633092afd514610244578063313ce5671461025757600080fd5b806306fdde03146101c9578063095ea7b3146101e75780631627540c1461020a575b600080fd5b6101d1610412565b6040516101de9190611767565b60405180910390f35b6101fa6101f53660046117d1565b6104a4565b60405190151581526020016101de565b61021d6102183660046117fb565b6104be565b005b6002545b6040519081526020016101de565b6101fa61023f36600461181d565b61058a565b61021d6102523660046117fb565b6105ae565b604051601281526020016101de565b61022361076c565b6101fa61027c3660046117d1565b61077b565b61021d61028f366004611859565b61079d565b6008546102a7906001600160a01b031681565b6040516001600160a01b0390911681526020016101de565b61021d6102cd3660046117d1565b6107aa565b6102236102e03660046117fb565b6001600160a01b031660009081526020819052604090205490565b61021d6103093660046117d1565b61084c565b61021d6108e6565b61021d6103243660046117d1565b6109d0565b6102236103373660046117fb565b6109e9565b6007546102a7906001600160a01b031681565b6101d1610a07565b61021d6103653660046117fb565b610a16565b6101fa6103783660046117d1565b610b73565b6101fa61038b3660046117d1565b610bee565b61021d61039e3660046117fb565b610bfc565b61021d6103b1366004611872565b610caf565b6102a76103c4366004611859565b610e13565b6009546102a7906001600160a01b031681565b6102236103ea3660046118e5565b610e3d565b6101fa6103fd3660046117fb565b600b6020526000908152604090205460ff1681565b60606003805461042190611918565b80601f016020809104026020016040519081016040528092919081815260200182805461044d90611918565b801561049a5780601f1061046f5761010080835404028352916020019161049a565b820191906000526020600020905b81548152906001019060200180831161047d57829003601f168201915b5050505050905090565b6000336104b2818585610e68565b60019150505b92915050565b6007546001600160a01b031633146105355760405162461bcd60e51b815260206004820152602f60248201527f4f6e6c792074686520636f6e7472616374206f776e6572206d6179207065726660448201526e37b936903a3434b99030b1ba34b7b760891b60648201526084015b60405180910390fd5b600880546001600160a01b0319166001600160a01b0383169081179091556040519081527f906a1c6bd7e3091ea86693dd029a831c19049ce77f1dce2ce0bab1cacbabce22906020015b60405180910390a150565b600033610598858285610f8d565b6105a3858585611007565b506001949350505050565b6009546001600160a01b03163314806105d157506007546001600160a01b031633145b6105ed5760405162461bcd60e51b815260040161052c9061194c565b6001600160a01b0381166106135760405162461bcd60e51b815260040161052c9061197b565b6001600160a01b0381166000908152600b602052604090205460ff1615156001146106765760405162461bcd60e51b81526020600482015260136024820152721059191c995cdcc81b9bdb995e1a5cdd185b9d606a1b604482015260640161052c565b6001600160a01b0381166000908152600b60205260408120805460ff191690555b600a5481101561073257816001600160a01b0316600a82815481106106be576106be6119aa565b6000918252602090912001546001600160a01b031603610720576000600a82815481106106ed576106ed6119aa565b9060005260206000200160006101000a8154816001600160a01b0302191690836001600160a01b03160217905550610732565b8061072a816119d6565b915050610697565b506040516001600160a01b03821681527fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb666929060200161057f565b60006107766111ab565b905090565b6000336104b281858561078e8383610e3d565b61079891906119ef565b610e68565b6107a733826112d2565b50565b336000908152600b602052604090205460ff1615156001146107fd5760405162461bcd60e51b815260206004820152600c60248201526b4f6e6c79206d696e7465727360a01b604482015260640161052c565b61080782826113fc565b6040518181526001600160a01b0383169033907fe0dcb47e0eb67e20e87f3e34aab31c669ecec7466e8b7fb329d586dadebac6b6906020015b60405180910390a35050565b336000908152600b602052604090205460ff16151560011461089f5760405162461bcd60e51b815260206004820152600c60248201526b4f6e6c79206d696e7465727360a01b604482015260640161052c565b6108a982826109d0565b60405181815233906001600160a01b038416907fdc7fd22bc401e7c6b9be2c2736286a2a42ea0c6307bc97ff0fb12bd0abd2c74790602001610840565b6008546001600160a01b0316331461095e5760405162461bcd60e51b815260206004820152603560248201527f596f75206d757374206265206e6f6d696e61746564206265666f726520796f7560448201527402063616e20616363657074206f776e65727368697605c1b606482015260840161052c565b600754600854604080516001600160a01b0393841681529290911660208301527fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c910160405180910390a160088054600780546001600160a01b03199081166001600160a01b03841617909155169055565b6109db823383610f8d565b6109e582826112d2565b5050565b6001600160a01b0381166000908152600560205260408120546104b8565b60606004805461042190611918565b6009546001600160a01b0316331480610a3957506007546001600160a01b031633145b610a555760405162461bcd60e51b815260040161052c9061194c565b6001600160a01b038116610a7b5760405162461bcd60e51b815260040161052c9061197b565b6001600160a01b0381166000908152600b602052604090205460ff1615610add5760405162461bcd60e51b81526020600482015260166024820152754164647265737320616c72656164792065786973747360501b604482015260640161052c565b6001600160a01b0381166000818152600b60209081526040808320805460ff19166001908117909155600a805491820181559093527fc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a890920180546001600160a01b0319168417905590519182527f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f6910161057f565b60003381610b818286610e3d565b905083811015610be15760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b606482015260840161052c565b6105a38286868403610e68565b6000336104b2818585611007565b6009546001600160a01b0316331480610c1f57506007546001600160a01b031633145b610c3b5760405162461bcd60e51b815260040161052c9061194c565b6001600160a01b038116610c615760405162461bcd60e51b815260040161052c9061197b565b600980546001600160a01b0319166001600160a01b0383169081179091556040519081527ff02fdf7b40fb25784d39342249bbb15cee2bc0288f75ded1cf8ad2e63d4d91aa9060200161057f565b83421115610cff5760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e65000000604482015260640161052c565b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9888888610d2e8c6114bb565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e0016040516020818303038152906040528051906020012090506000610d89826114e3565b90506000610d9982878787611531565b9050896001600160a01b0316816001600160a01b031614610dfc5760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e61747572650000604482015260640161052c565b610e078a8a8a610e68565b50505050505050505050565b600a8181548110610e2357600080fd5b6000918252602090912001546001600160a01b0316905081565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6001600160a01b038316610eca5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161052c565b6001600160a01b038216610f2b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161052c565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6000610f998484610e3d565b905060001981146110015781811015610ff45760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000604482015260640161052c565b6110018484848403610e68565b50505050565b6001600160a01b03831661106b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161052c565b6001600160a01b0382166110cd5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161052c565b6001600160a01b038316600090815260208190526040902054818110156111455760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b606482015260840161052c565b6001600160a01b03848116600081815260208181526040808320878703905593871680835291849020805487019055925185815290927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3611001565b6000306001600160a01b037f0000000000000000000000005e8422345238f34275888049021821e8e08caa1f1614801561120457507f000000000000000000000000000000000000000000000000000000000000000146145b1561122e57507ff76bc0789b1168d8167e9ab7fe582017fc10c446b759047e0b1cb2d4451d7ce690565b50604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6020808301919091527ffffd206bcd96dc4bc2a8341876f27ec1219d3685ce800182c13b77892acb13d0828401527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608301524660808301523060a0808401919091528351808403909101815260c0909201909252805191012090565b6001600160a01b0382166113325760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b606482015260840161052c565b6001600160a01b038216600090815260208190526040902054818110156113a65760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b606482015260840161052c565b6001600160a01b0383166000818152602081815260408083208686039055600280548790039055518581529192917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9101610f80565b6001600160a01b0382166114525760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640161052c565b806002600082825461146491906119ef565b90915550506001600160a01b038216600081815260208181526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b6001600160a01b03811660009081526005602052604090208054600181018255905b50919050565b60006104b86114f06111ab565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b600080600061154287878787611559565b9150915061154f8161161d565b5095945050505050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08311156115905750600090506003611614565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa1580156115e4573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b03811661160d57600060019250925050611614565b9150600090505b94509492505050565b600081600481111561163157611631611a02565b036116395750565b600181600481111561164d5761164d611a02565b0361169a5760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e61747572650000000000000000604482015260640161052c565b60028160048111156116ae576116ae611a02565b036116fb5760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e67746800604482015260640161052c565b600381600481111561170f5761170f611a02565b036107a75760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b606482015260840161052c565b600060208083528351808285015260005b8181101561179457858101830151858201604001528201611778565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b03811681146117cc57600080fd5b919050565b600080604083850312156117e457600080fd5b6117ed836117b5565b946020939093013593505050565b60006020828403121561180d57600080fd5b611816826117b5565b9392505050565b60008060006060848603121561183257600080fd5b61183b846117b5565b9250611849602085016117b5565b9150604084013590509250925092565b60006020828403121561186b57600080fd5b5035919050565b600080600080600080600060e0888a03121561188d57600080fd5b611896886117b5565b96506118a4602089016117b5565b95506040880135945060608801359350608088013560ff811681146118c857600080fd5b9699959850939692959460a0840135945060c09093013592915050565b600080604083850312156118f857600080fd5b611901836117b5565b915061190f602084016117b5565b90509250929050565b600181811c9082168061192c57607f821691505b6020821081036114dd57634e487b7160e01b600052602260045260246000fd5b6020808252601590820152744e6f74206f776e6572206f722074696d656c6f636b60581b604082015260600190565b60208082526015908201527416995c9bc81859191c995cdcc819195d1958dd1959605a1b604082015260600190565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b6000600182016119e8576119e86119c0565b5060010190565b808201808211156104b8576104b86119c0565b634e487b7160e01b600052602160045260246000fdfea26469706673582212202b216e0eb771386708485627ef8b6f0d1d2b013ff3310226e959cf4f5525993764736f6c63430008100033","codeHash":"0x030c096222e8746193408e3a8fa65f7bc051c4f680bcd589ee5b476401fcb951","nonce":1,"storage":{"0x309d92492c7f635f58f756695c94812586abca8aee21131e72d98c0b96a8da75":"0x0000000000000000000000000000000000000000000000000de0b6b3a7640000","0x9788a81e456f85b2ef0088e20baeb313d9ba1d8a5f9c0e982f6544e6a8eebb12":"0x00000000000000000000000000000000000000000000000000038d7ea4c68000"}}}}}

0 commit comments

Comments
 (0)