github.com/n1ghtfa1l/go-vnt@v0.6.4-alpha.6/core/wavm/tests/bounds.json (about)

     1  {
     2       "env": {
     3            "previousHash": "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
     4            "currentNumber": 257,
     5            "currentGasLimit": 4000000,
     6            "currentDifficulty": 256,
     7            "currentTimestamp": 1546273000,
     8            "currentCoinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
     9       },
    10       "exec": {
    11            "address": "0xcccccccccccccccccccccccccccccccccccccccc",
    12            "value": 0,
    13            "gas": 4000000,
    14            "caller": "0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
    15            "origin": "0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
    16            "gasPrice": 1000000
    17       },
    18       "pre": {
    19            "0xcccccccccccccccccccccccccccccccccccccccc": {
    20                 "balance": "0xDE0B6B3A7640000",
    21                 "code": "",
    22                 "nonce": "0x00",
    23                 "storage": {}
    24            },
    25            "0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa": {
    26                 "balance": "0xDE0B6B3A7640000",
    27                 "code": "",
    28                 "nonce": "0x00",
    29                 "storage": {}
    30            }
    31       },
    32       "testcase": [
    33            {
    34                 "code": "bounds/Bounds.compress",
    35                 "abi": "bounds/abi.json",
    36                 "initcase": {
    37                      "needinit": true,
    38                      "input": []
    39                 },
    40                 "tests": [
    41                      {
    42                           "function": "testToI64_Max",
    43                           "input": [],
    44                           "wanted": {
    45                                "data": "9223372036854775807",
    46                                "type": "int64"
    47                           }
    48                      },
    49                      {
    50                           "function": "testToI64_Max_Overflow",
    51                           "input": [],
    52                           "wanted": {
    53                                "data": "0",
    54                                "type": "int64"
    55                           }
    56                      },
    57                      {
    58                           "function": "testToI64_Min",
    59                           "input": [],
    60                           "wanted": {
    61                                "data": "-9223372036854775808",
    62                                "type": "int64"
    63                           }
    64                      },
    65                      {
    66                           "function": "testToI64_Min_Overflow",
    67                           "input": [],
    68                           "wanted": {
    69                                "data": "0",
    70                                "type": "int64"
    71                           }
    72                      },
    73                      {
    74                           "function": "testToU64_Max",
    75                           "input": [],
    76                           "wanted": {
    77                                "data": "18446744073709551615",
    78                                "type": "uint64"
    79                           }
    80                      },
    81                      {
    82                           "function": "testToU64_Max_Overflow",
    83                           "input": [],
    84                           "wanted": {
    85                                "data": "0",
    86                                "type": "uint64"
    87                           }
    88                      },
    89                      {
    90                           "function": "testToU64_Min",
    91                           "input": [],
    92                           "wanted": {
    93                                "data": "0",
    94                                "type": "uint64"
    95                           }
    96                      },
    97                      {
    98                           "function": "testToU64_Min_Overflow",
    99                           "input": [],
   100                           "wanted": {
   101                                "data": "0",
   102                                "type": "uint64"
   103                           }
   104                      },
   105                      {
   106                           "function": "testToI64_1",
   107                           "input": [],
   108                           "wanted": {
   109                                "data": "-1",
   110                                "type": "int64"
   111                           }
   112                      },
   113                      {
   114                           "function": "testToI64_string",
   115                           "input": [
   116                                {
   117                                     "data": "-1",
   118                                     "type": "string"
   119                                }
   120                           ],
   121                           "wanted": {
   122                                "data": "-1",
   123                                "type": "int64"
   124                           }
   125                      },
   126                      {
   127                           "function": "testU64Add",
   128                           "input": [
   129                                {
   130                                     "data": "18446744073709551615",
   131                                     "type": "uint64"
   132                                },
   133                                {
   134                                     "data": "1",
   135                                     "type": "uint64"
   136                                }
   137                           ],
   138                           "wanted": {
   139                                "data": "0",
   140                                "type": "uint64"
   141                           }
   142                      }
   143                 ]
   144            }
   145       ]
   146  }