[
  {
    "command": [
      "/Users/greg/Library/Java/JavaVirtualMachines/corretto-21.0.9/Contents/Home/bin/javac",
      "--release",
      "8",
      "-proc:none",
      "-cp",
      "$RUNTIME",
      "-d",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/original",
      "$EXAMPLE/source/com/example/reuse/application/OutcomeRecorder.java",
      "$EXAMPLE/source/com/example/reuse/contract/OrderRequest.java",
      "$EXAMPLE/source/com/example/reuse/policy/LimitCheck.java",
      "$EXAMPLE/source/com/example/reuse/policy/ReleaseDecision.java",
      "$EXAMPLE/source/com/example/reuse/policy/RiskCheck.java",
      "$EXAMPLE/source/com/example/reuse/values/OrderInput.java",
      "$EXAMPLE/source/com/example/reuse/values/OrderValue.java",
      "$EXAMPLE/source/com/example/reuse/values/StockCheck.java",
      "$EXAMPLE/generated/OrderReleaseProcessor.java",
      "$EXAMPLE/harness/ReplayDemo.java"
    ],
    "exitCode": 0,
    "stdout": "",
    "stderr": "warning: [options] source value 8 is obsolete and will be removed in a future release\nwarning: [options] target value 8 is obsolete and will be removed in a future release\nwarning: [options] To suppress warnings about obsolete options, use -Xlint:-options.\n3 warnings\n"
  },
  {
    "command": [
      "/Users/greg/Library/Java/JavaVirtualMachines/corretto-21.0.9/Contents/Home/bin/javac",
      "--release",
      "8",
      "-proc:none",
      "-cp",
      "$RUNTIME",
      "-d",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/changed",
      "$EXAMPLE/source/com/example/reuse/application/OutcomeRecorder.java",
      "$EXAMPLE/source/com/example/reuse/contract/OrderRequest.java",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/changed-source/LimitCheck.java",
      "$EXAMPLE/source/com/example/reuse/policy/ReleaseDecision.java",
      "$EXAMPLE/source/com/example/reuse/policy/RiskCheck.java",
      "$EXAMPLE/source/com/example/reuse/values/OrderInput.java",
      "$EXAMPLE/source/com/example/reuse/values/OrderValue.java",
      "$EXAMPLE/source/com/example/reuse/values/StockCheck.java",
      "$EXAMPLE/generated/OrderReleaseProcessor.java",
      "$EXAMPLE/harness/ReplayDemo.java"
    ],
    "exitCode": 0,
    "stdout": "",
    "stderr": "warning: [options] source value 8 is obsolete and will be removed in a future release\nwarning: [options] target value 8 is obsolete and will be removed in a future release\nwarning: [options] To suppress warnings about obsolete options, use -Xlint:-options.\n3 warnings\n"
  },
  {
    "command": [
      "/Users/greg/Library/Java/JavaVirtualMachines/corretto-21.0.9/Contents/Home/bin/java",
      "-cp",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/original:$RUNTIME",
      "ReplayDemo",
      "capture",
      "$OUTPUT/synthetic-producer.csv",
      "$OUTPUT/initial.properties",
      "$OUTPUT/capture"
    ],
    "exitCode": 0,
    "stdout": "capture: processed 16 ordered commands from synthetic-producer.csv\n",
    "stderr": ""
  },
  {
    "command": [
      "/Users/greg/Library/Java/JavaVirtualMachines/corretto-21.0.9/Contents/Home/bin/java",
      "-cp",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/original:$RUNTIME",
      "ReplayDemo",
      "replay",
      "$OUTPUT/capture/captured-inputs.csv",
      "$OUTPUT/capture/initial-state.properties",
      "$OUTPUT/replay"
    ],
    "exitCode": 0,
    "stdout": "replay: processed 16 ordered commands from captured-inputs.csv\n",
    "stderr": ""
  },
  {
    "command": [
      "/Users/greg/Library/Java/JavaVirtualMachines/corretto-21.0.9/Contents/Home/bin/java",
      "-cp",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/changed:$RUNTIME",
      "ReplayDemo",
      "replay",
      "$OUTPUT/capture/captured-inputs.csv",
      "$OUTPUT/capture/initial-state.properties",
      "$OUTPUT/changed-build"
    ],
    "exitCode": 0,
    "stdout": "replay: processed 16 ordered commands from captured-inputs.csv\n",
    "stderr": ""
  },
  {
    "command": [
      "/Users/greg/Library/Java/JavaVirtualMachines/corretto-21.0.9/Contents/Home/bin/java",
      "-cp",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/original:$RUNTIME",
      "ReplayDemo",
      "replay",
      "$OUTPUT/capture/captured-inputs.csv",
      "$OUTPUT/altered-state.properties",
      "$OUTPUT/different-state"
    ],
    "exitCode": 0,
    "stdout": "replay: processed 16 ordered commands from captured-inputs.csv\n",
    "stderr": ""
  },
  {
    "command": [
      "/Users/greg/Library/Java/JavaVirtualMachines/corretto-21.0.9/Contents/Home/bin/java",
      "-cp",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/original:$RUNTIME",
      "ReplayDemo",
      "replay",
      "$OUTPUT/reordered-inputs.csv",
      "$OUTPUT/capture/initial-state.properties",
      "$OUTPUT/different-order"
    ],
    "exitCode": 0,
    "stdout": "replay: processed 16 ordered commands from reordered-inputs.csv\n",
    "stderr": ""
  },
  {
    "command": [
      "/Users/greg/Library/Java/JavaVirtualMachines/corretto-21.0.9/Contents/Home/bin/java",
      "-cp",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/original:$RUNTIME",
      "ReplayDemo",
      "replay",
      "$OUTPUT/invalid-sequence.csv",
      "$OUTPUT/capture/initial-state.properties",
      "$OUTPUT/refused-sequence"
    ],
    "exitCode": 1,
    "stdout": "",
    "stderr": "Exception in thread \"main\" java.lang.IllegalStateException: journal sequence\n\tat ReplayDemo.require(ReplayDemo.java:20)\n\tat ReplayDemo.load(ReplayDemo.java:27)\n\tat ReplayDemo.main(ReplayDemo.java:77)\n"
  },
  {
    "command": [
      "/Users/greg/Library/Java/JavaVirtualMachines/corretto-21.0.9/Contents/Home/bin/java",
      "-cp",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/original:$RUNTIME",
      "ReplayDemo",
      "replay",
      "$OUTPUT/capture/captured-inputs.csv",
      "$OUTPUT/malformed-state.properties",
      "$OUTPUT/refused-state"
    ],
    "exitCode": 1,
    "stdout": "",
    "stderr": "Exception in thread \"main\" java.lang.IllegalStateException: starting-state required keys\n\tat ReplayDemo.require(ReplayDemo.java:20)\n\tat ReplayDemo.validateState(ReplayDemo.java:38)\n\tat ReplayDemo.main(ReplayDemo.java:77)\n"
  },
  {
    "command": [
      "/Users/greg/Library/Java/JavaVirtualMachines/corretto-21.0.9/Contents/Home/bin/java",
      "-cp",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/original:$RUNTIME",
      "ReplayDemo",
      "replay",
      "$OUTPUT/overflow-input.csv",
      "$OUTPUT/capture/initial-state.properties",
      "$OUTPUT/refused-overflow"
    ],
    "exitCode": 1,
    "stdout": "",
    "stderr": "Exception in thread \"main\" java.lang.ArithmeticException: long overflow\n\tat java.base/java.lang.Math.multiplyExact(Math.java:1032)\n\tat ReplayDemo.load(ReplayDemo.java:29)\n\tat ReplayDemo.main(ReplayDemo.java:77)\n"
  },
  {
    "command": [
      "/Users/greg/Library/Java/JavaVirtualMachines/corretto-21.0.9/Contents/Home/bin/java",
      "-cp",
      "/var/folders/jw/qy248v_j4_34b9l6c_wt_xcc0000gn/T/telamin-replay-build-hyywqjw5/original:$RUNTIME",
      "ReplayDemo",
      "replay",
      "$OUTPUT/capture/captured-inputs.csv",
      "$OUTPUT/future-state.properties",
      "$OUTPUT/refused-clock"
    ],
    "exitCode": 1,
    "stdout": "",
    "stderr": "Exception in thread \"main\" java.lang.IllegalStateException: clock before initial state\n\tat ReplayDemo.require(ReplayDemo.java:20)\n\tat ReplayDemo.main(ReplayDemo.java:77)\n"
  }
]