{
  "accepted-payment-marked-failed": {
    "exit": 0,
    "stdout": "PASS: Draft 2020-12 + FormatChecker + semantic invariants + negative self-tests (25 cases)",
    "stderr": ""
  },
  "wrong-rejection-reason": {
    "exit": 0,
    "stdout": "PASS: Draft 2020-12 + FormatChecker + semantic invariants + negative self-tests (25 cases)",
    "stderr": ""
  },
  "uncorrelated-loser": {
    "exit": 0,
    "stdout": "PASS: Draft 2020-12 + FormatChecker + semantic invariants + negative self-tests (25 cases)",
    "stderr": ""
  },
  "authorized-case-called-unauthorized": {
    "exit": 0,
    "stdout": "PASS: Draft 2020-12 + FormatChecker + semantic invariants + negative self-tests (25 cases)",
    "stderr": ""
  },
  "valid-window-called-expired-stale-evidence": {
    "exit": 0,
    "stdout": "PASS: Draft 2020-12 + FormatChecker + semantic invariants + negative self-tests (25 cases)",
    "stderr": ""
  },
  "valid-nonzero-called-malformed": {
    "exit": 0,
    "stdout": "PASS: Draft 2020-12 + FormatChecker + semantic invariants + negative self-tests (25 cases)",
    "stderr": ""
  }
}