heni-0.1.0.0: examples/standalone/target/heni.json

{
  "schemaVersion": 1,
  "commands": {
    "build": {
      "executable": "ghc",
      "arguments": [
        "-v0",
        "Checker.hs",
        "-o",
        "checker"
      ]
    },
    "test": {
      "executable": "./checker"
    }
  },
  "cases": [
    {
      "id": "caught",
      "description": "Remove the intended capacity guard",
      "edits": [
        {
          "kind": "replace",
          "path": "input",
          "old": "anchor",
          "new": "mutant"
        }
      ],
      "build": "build",
      "test": "test",
      "expect": {
        "kind": "diagnostic",
        "stage": "test",
        "exitCode": 1,
        "outputContains": "capacity rule violated"
      }
    },
    {
      "id": "survivor",
      "description": "Remove the intended capacity guard",
      "edits": [
        {
          "kind": "replace",
          "path": "input",
          "old": "anchor",
          "new": "harmless"
        }
      ],
      "build": "build",
      "test": "test",
      "expect": {
        "kind": "diagnostic",
        "stage": "test",
        "exitCode": 1,
        "outputContains": "capacity rule violated"
      }
    },
    {
      "id": "wrong",
      "description": "Remove the intended capacity guard",
      "edits": [
        {
          "kind": "replace",
          "path": "input",
          "old": "anchor",
          "new": "unrelated"
        }
      ],
      "build": "build",
      "test": "test",
      "expect": {
        "kind": "diagnostic",
        "stage": "test",
        "exitCode": 1,
        "outputContains": "capacity rule violated"
      }
    }
  ]
}