[
  {
    "case": "graph_identity",
    "mode": "normal",
    "exit_code": 1,
    "rejected": true,
    "diagnostic": "ArithmeticError: graph identity"
  },
  {
    "case": "graph_identity",
    "mode": "optimized",
    "exit_code": 1,
    "rejected": true,
    "diagnostic": "ArithmeticError: graph identity"
  },
  {
    "case": "wrong_geometric_eigenvalue",
    "mode": "normal",
    "exit_code": 1,
    "rejected": true,
    "diagnostic": "ArithmeticError: A C = 6 phi C"
  },
  {
    "case": "wrong_geometric_eigenvalue",
    "mode": "optimized",
    "exit_code": 1,
    "rejected": true,
    "diagnostic": "ArithmeticError: A C = 6 phi C"
  },
  {
    "case": "wrong_inverse_norm",
    "mode": "normal",
    "exit_code": 1,
    "rejected": true,
    "diagnostic": "ArithmeticError: inverse infinity-norm numerator"
  },
  {
    "case": "wrong_inverse_norm",
    "mode": "optimized",
    "exit_code": 1,
    "rejected": true,
    "diagnostic": "ArithmeticError: inverse infinity-norm numerator"
  },
  {
    "case": "false_mod8_separation_test",
    "mode": "normal",
    "exit_code": 1,
    "rejected": true,
    "diagnostic": "ArithmeticError: quantizer separation"
  },
  {
    "case": "false_mod8_separation_test",
    "mode": "optimized",
    "exit_code": 1,
    "rejected": true,
    "diagnostic": "ArithmeticError: quantizer separation"
  }
]