inst_add_64_with_overflow.json

{
  "name": "inst_add_64_with_overflow",
  "initial-regs": [
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    18446744073709551615,
    2,
    0,
    0,
    0,
    0
  ],
  "initial-pc": 0,
  "initial-page-map": [],
  "initial-memory": [],
  "initial-gas": 10000,
  "program": [
    0,
    0,
    3,
    200,
    135,
    9,
    1
  ],
  "expected-status": "panic",
  "expected-regs": [
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    18446744073709551615,
    2,
    1,
    0,
    0,
    0
  ],
  "expected-pc": 3,
  "expected-memory": [],
  "expected-gas": 9998
}