{
  "evidence": "\u529f\u80fd\u6267\u884c",
  "comparisons": [
    {
      "program": "sum",
      "events": 30,
      "equal": true,
      "sha256": "c707d565c111e30cbef8009306b0c28c274193cf78a04004a78fbe87e0348330"
    },
    {
      "program": "branch_loop",
      "events": 17,
      "equal": true,
      "sha256": "42cbdde4ba83f145f705a72dfd7f5d20c1d4ead35003df5a8aa888285d157895"
    },
    {
      "program": "x0",
      "events": 3,
      "equal": true,
      "sha256": "7db7086019d5dfcdd2343bac2bc9a1774fb3ccb4e249db57c3806956c485931e"
    },
    {
      "program": "signed_compare",
      "events": 5,
      "equal": true,
      "sha256": "0fe25d3c5ff38ba37bb6e5a8add7f0f4506cb13df91ee3f44dceaaebeb57cca4"
    },
    {
      "program": "fail_unsupported",
      "events": 1,
      "equal": true,
      "sha256": "d24fc4b32a0243eb89fa503b65ecda45892f4331e0ee1c8095c863b9735988f2"
    },
    {
      "program": "fail_misaligned",
      "events": 1,
      "equal": true,
      "sha256": "b4b0bb0e65572694758174083b5ff7141a3fc9d7d3095d2b8f566c7c04aa0703"
    },
    {
      "program": "fail_oob",
      "events": 1,
      "equal": true,
      "sha256": "4c9a53021af90a5decd6ed1f85301e22ca6bf26305c660568fede137d52f1267"
    },
    {
      "program": "fail_store_text",
      "events": 1,
      "equal": true,
      "sha256": "4ff884bf6b5183545b27226c9c8fadd0be3f05a26c907743c8c2e109c2fc1fe1"
    },
    {
      "program": "fail_branch_misaligned",
      "events": 1,
      "equal": true,
      "sha256": "44dfaf9678cf769eb0fe1ab7b20f1e487d59c6b751f48bedae6f56b60a37abc4"
    }
  ],
  "broken_model": {
    "mutation": "permit x0 writes",
    "first_mismatch": 0,
    "reference": {
      "step": 0,
      "pc": 0,
      "inst": "0x07b00013",
      "op": "addi",
      "imm": 123,
      "rd": 0,
      "value": 0,
      "next_pc": 4,
      "x0": 0
    },
    "actual": {
      "step": 0,
      "pc": 0,
      "inst": "0x07b00013",
      "op": "addi",
      "imm": 123,
      "rd": 0,
      "value": 123,
      "next_pc": 4,
      "x0": 123
    }
  },
  "gem5_executed": false,
  "hardware_calibrated": false
}