inst_div_unsigned_32.json

{
  "name": "inst_div_unsigned_32",
  "initial-regs": [
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    2147483664,
    7,
    0,
    0,
    0,
    0
  ],
  "initial-pc": 0,
  "initial-page-map": [],
  "initial-memory": [],
  "initial-gas": 10000,
  "program": [
    0,
    0,
    3,
    193,
    135,
    9,
    1
  ],
  "expected-status": "panic",
  "expected-regs": [
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    2147483664,
    7,
    306783380,
    0,
    0,
    0
  ],
  "expected-pc": 3,
  "expected-memory": [],
  "expected-gas": 9998
}