{
  "schema": 1,
  "repository": "brunnojob/java-fuel-efficiency",
  "source_commit": "1f4617771932a6af813e33c91c929572708aaa04",
  "generated_at": "2026-10-10T05:29:44.347432+00:00",
  "run_url": "https://github.com/brunnojob/java-fuel-efficiency/actions/runs/38027640328",
  "inputs_sha256": {
    ".proof/scenarios.json": "7227f9bea3786ecac141ec9c6634886cf07f99c30a79b2e7ef98070f844965bb",
    ".proof/demo.py": "fb4938278af2572e2a8ce681f4f668bce8e63226944f827d3374d266343c0927"
  },
  "cases": [
    {
      "display": false,
      "name": "javac -Xlint:all -Werror FuelLog.java",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "javac -Xlint:all -Werror FuelLog.java"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 1.507,
      "output": "",
      "output_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "display": true,
      "name": "python -m unittest discover -v -s tests",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "python -m unittest discover -v -s tests"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 1.311,
      "output": "test_persistent_workflow (test_workflow.WorkflowTests.test_persistent_workflow) ... ok\n\n----------------------------------------------------------------------\nRan 1 test in 1.176s\n\nOK\n",
      "output_sha256": "e3c290bb7806191f94e4f53035e6501c3d163f748f900cb9b8e93f582f32a541"
    },
    {
      "display": true,
      "name": "Account partial refueling and reject a regressed odometer",
      "argv": [
        "python",
        ".proof/demo.py"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 0.402,
      "output": "{\"regressed_reading_rejected\": true, \"report\": {\"accountedCost\": 180.0, \"accountedLiters\": 30.0, \"distanceKm\": 300, \"fills\": 3, \"periods\": [{\"cost\": 180.0, \"costPerKm\": 0.6, \"date\": \"2026-01-03\", \"distanceKm\": 300, \"liters\": 30.0, \"litersPer100Km\": 10.0}], \"weightedLitersPer100Km\": 10.0}}\n",
      "output_sha256": "36939d655ed3a3735922aa5179c9353feeb9dba4ea76895ca8c6846225337d57"
    }
  ],
  "passed": true
}