{
  "software_revision": "EVT0.12",
  "verifier_sha256": "a9b0db2fa4a6f6103765ccc3ae35bb1fdf5f80cafe5f9d442a514ccdbf68e443",
  "source_sha256": {
    "board-eeprom.h": "546be4cce34ecae2e9a22d49c00434029ee9aa7db97b4d160613636f7efccd9f",
    "board-output.h": "41dc4e6b188e04d59bdcbfcaaa2f96fb6429781cb29415bacad3055df2607096",
    "board-fast-inputs.h": "c6fd81d474da216a795f677a01e6c669dc15e1a1400fd5c52cda570fa8dacf92"
  },
  "harness_sha256": "5b99ea42f8603aadfe5fb314c9d929b90f30cf4e2c1c8a756a1d3e406bca719e",
  "negative_controls": [
    {
      "mutation": "ACK_PROBE_HAS_NEW12ms_BUDGET",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (ewrite(0,0,b,1)==-1&&probes==1&&reset_count==1&&now_us-ack_start_time<7010), function main, file test_target_eeprom.c, line 79.",
      "mutated_header_sha256": "94d2545cbbb3df0ec36a245a93c7232acfb3777d239ea6dee10f1304e8f8f1e7"
    },
    {
      "mutation": "READY_FLAG_BEFORE_ERROR_POWER_TIME",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (ewrite(0,0,b,1)==-1&&!write_bytes&&starts==1), function main, file test_target_eeprom.c, line 85.",
      "mutated_header_sha256": "89eb4c1d7960366397601a04c5dc2b8b6d23d977471481194f74d4e73f25f60b"
    },
    {
      "mutation": "I2C_POWER_GUARD_REMOVED",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (ewrite(0,0,b,1)==-1&&probes==1&&!p1&&!p2&&alarm&&now_us<1100), function main, file test_target_eeprom.c, line 80.",
      "mutated_header_sha256": "97b548cfdf4364cbcbc99b8471e339cba0e7805eee649a9242b3cf9db141a718"
    },
    {
      "mutation": "HARD_ERRORS_RETRIED_LIKE_NACK",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (ewrite(0,0,b,1)==-1&&probes==1&&reset_count==1&&now_us-ack_start_time<7010), function main, file test_target_eeprom.c, line 79.",
      "mutated_header_sha256": "05d833762072c96fe3dcee5d43a353c4a06f5367624af645cb81b06805abc6bf"
    },
    {
      "mutation": "NACK_STOP_WAIT_REMOVED",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (!ewrite(0,0,b,1)&&probes==4&&reset_count==0&&write_cycles==1), function main, file test_target_eeprom.c, line 77.",
      "mutated_header_sha256": "569553e7a2a165f6af62297d5b3be8221e8ed21004b77834ca3149abafbf39b5"
    },
    {
      "mutation": "FINAL_OUTPUT_POWER_GATE_REMOVED",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (!p1&&!p2&&alarm), function main, file test_target_eeprom.c, line 89.",
      "mutated_header_sha256": "ae2f9f392b6f8be56ed5aad349721a669acc1f9b8261ef5542de0f4d1b81e2ad"
    }
  ],
  "physical_tests": "NOT_RUN",
  "scope": "Six compiled target-driver/output mutants; deterministic register model only"
}
