{
  "policy": "tier1-equivalence/policies/test_arithmetic.aster",
  "entry": "testAdd",
  "cases": [
    {
      "name": "2 + 3 = 5",
      "input": [
        2,
        3
      ],
      "expectedOutput": 5
    },
    {
      "name": "-1 + 1 = 0",
      "input": [
        -1,
        1
      ],
      "expectedOutput": 0
    }
  ]
}