{
  "schema": 1,
  "repository": "brunnojob/c-offshore-vibration-spectrum",
  "source_commit": "c1da96aa311da1d1144b1a7ca6b7a341bca4db92",
  "generated_at": "2026-10-10T05:29:07.932950+00:00",
  "run_url": "https://github.com/brunnojob/c-offshore-vibration-spectrum/actions/runs/38027640989",
  "inputs_sha256": {
    ".proof/scenarios.json": "c74b9f4e7699e2fbd8f1be31782eedb1d51ce1da0bbfbb4bf4e2f82d281cab1b",
    "examples/input.txt": "637d921a41d559253be7d39a0a19d10c2bc4ddc67f81729b350259a8409887a8"
  },
  "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.352,
      "output": "cc -std=c17 -Wall -Wextra -Werror -pedantic -O2 src/main.c -lm -o app\n./app --self-test\nsine and zero tests passed\nrms=0.707107 crest=1.414214 dominant_hz=8.000000 amplitude=0.999960\n",
      "output_sha256": "eb860e2f0d1504cfe70dd6b0629511d869edee848d6b2bc6ad70e3abc2c368c7"
    },
    {
      "display": true,
      "name": "Application demonstration with checked output",
      "argv": [
        "./app"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 0.051,
      "output": "rms=0.707107 crest=1.414214 dominant_hz=8.000000 amplitude=0.999960\n",
      "output_sha256": "459ef0de668f2c6f394f043ace170dad478afe79ffb354ae6f003cb2af3f1e1d"
    },
    {
      "display": true,
      "name": "Reject an empty capture",
      "argv": [
        "./app"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.051,
      "output": "at least eight samples required\n",
      "output_sha256": "47eff80e102e3b23f7cd5c207f0fc2cb6a7deabd2fe3a47bfaed2eb541305357"
    },
    {
      "display": true,
      "name": "Reject malformed input",
      "argv": [
        "./app"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.051,
      "output": "invalid finite number\n",
      "output_sha256": "d13bb887802fda6d0b20e30586d2a97af8771d6758ee52d1398bda3f5401f91c"
    },
    {
      "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
}