{
  "schema": 1,
  "repository": "brunnojob/c-offshore-pump-sequence-replay",
  "source_commit": "c1979b1823c4f4fb65f3e386deccdb78384d68d3",
  "generated_at": "2026-10-10T05:30:05.476514+00:00",
  "run_url": "https://github.com/brunnojob/c-offshore-pump-sequence-replay/actions/runs/38027621544",
  "inputs_sha256": {
    ".proof/scenarios.json": "8e2cff9c1ece7b80b153b0ad88231d7927252ef7400b7309d48b5cee672900a0",
    "examples/input.txt": "e0a7fe5fa2c19323988d3c0ae400cf4f7282e6e4967e775fe2af3aae64c71969"
  },
  "cases": [
    {
      "display": false,
      "name": "make test && ./app < examples/input.txt",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "make test && ./app < examples/input.txt"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 0.201,
      "output": "cc -std=c17 -Wall -Wextra -Werror -pedantic -O2 src/main.c -lm -o app\n./app --self-test\nstart failure, changeover and minimum runtime tests passed\ntime=0.00 state=1 duty=1 command=10 faults=00\ntime=1.00 state=2 duty=1 command=10 faults=00\ntime=2.00 state=1 duty=2 command=01 faults=10\ntime=3.00 state=2 duty=2 command=01 faults=10\ntime=10.00 state=0 duty=1 command=00 faults=10\n",
      "output_sha256": "4e4575816de569c4852a3d2f8ac9ee5065a4c0ab8237090c63b67fae0d9b03fe"
    },
    {
      "display": true,
      "name": "Application demonstration with checked output",
      "argv": [
        "./app"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 0.051,
      "output": "time=0.00 state=1 duty=1 command=10 faults=00\ntime=1.00 state=2 duty=1 command=10 faults=00\ntime=2.00 state=1 duty=2 command=01 faults=10\ntime=3.00 state=2 duty=2 command=01 faults=10\ntime=10.00 state=0 duty=1 command=00 faults=10\n",
      "output_sha256": "e88700773ba40b02f6a44e9f8248ad9be5a45cda42454e1620d974e128267e16"
    },
    {
      "display": true,
      "name": "Reject an empty capture",
      "argv": [
        "./app"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.051,
      "output": "missing input\n",
      "output_sha256": "e108e9abb244623e01f96efedd4006bbb9cdf4b61840b948d6bf644ffe78bede"
    },
    {
      "display": true,
      "name": "Reject malformed input",
      "argv": [
        "./app"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.051,
      "output": "expected seven columns\n",
      "output_sha256": "c3652bc9dda709d4881248619a634ddc37b1304458057edd57b6ea7b650692a1"
    },
    {
      "display": true,
      "name": "Reject unsupported invocation",
      "argv": [
        "./app",
        "--unsupported"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.051,
      "output": "unsupported command arguments\n",
      "output_sha256": "8671e08a3718f115decd7eb1e7970691e3a2180c5a869d0e9ccd54e6d4fa8a80"
    },
    {
      "display": true,
      "name": "Reject an oversized input record",
      "argv": [
        "./app"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.051,
      "output": "input record too large\n",
      "output_sha256": "d0f1bb9ab1c99d914df3de66c3268650fd8fcb942b2d0f116490dc6c41e6f800"
    }
  ],
  "passed": true
}