{
  "raw_outcome": "inconclusive",
  "state": "inconclusive",
  "diagnostics": [
    "Incomplete:NativeIdentity:ScalaReplPP$IdentityIncomplete: DataFlowBenchTaintSwift.dfb_source:()->Swift.String must resolve to one native declaration, got 0"
  ],
  "duration_ms": 12943,
  "total_elapsed_seconds": 12.943735665990971,
  "commands": [
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/typecheck.command.json",
      "sha256": "594d6ea9f75753e4f8fb56114b99db03925a11c1bed4af851bc9d0b2213620a4"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/frontend.command.json",
      "sha256": "030b8c27c45abc9dd42a0ddf4db666d8743d687d4ed02c5a98a2f3447d176aa3"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/query.command.json",
      "sha256": "2ba4e0a61edd86fb2bfca374a63bded3108f131a00d90020ebc0a0626d54cb1a"
    }
  ],
  "native_outputs": [
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/build.log",
      "sha256": "17d2ff8a2a49afb2204058183f3a9ba4f761f21bc3c398185004eb2da4630c81"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/config.json",
      "sha256": "84fda3b5fda5808cc6b060b8978ab9a0042a37f8c995282eea40d1c434c55baa"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/cpg.bin",
      "sha256": "3cfbb405b1c64e68c3ed29c2c95fce5f275cfbb0d26f82d9d7502f3f9871a054"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/fixture-hashes.json",
      "sha256": "b1e1d25a5f1a1f1c66eb980d9803db9543ceeca87095e13eb24affa2248e7f2f"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/frontend.stderr",
      "sha256": "b5000e0cf992e7616a5a8cbe8e0a3a21ae239da039074630fdb529ccacedca04"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/frontend.stdout",
      "sha256": "1412175047c3785d6eccca1234752b8992702a469e97083dd0b1897f907e5b70"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/graph.json",
      "sha256": "c392b90476c75edcfecea305b89efcf23a308e26d8ae7fdc772512ba26d4a524"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/query.stderr",
      "sha256": "89cccfde43ef2a81167b49ef69581632f3da7b227f0dd4e3d0f30e5424dd9a4d"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/query.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/source-closure.json",
      "sha256": "ec5370867e8c17cd9e344bb901e9b0b0066963b125db379276f59004beda628f"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/typecheck.stderr",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-negative/typecheck.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    }
  ],
  "witness_checkpoints": [],
  "executed": true,
  "capability": {
    "identity_gate": "exact-native-edges",
    "model_mode": "off",
    "model_status": "unqualified"
  },
  "schema": "joern-common-raw/v092",
  "case_id": "dfb-taint-swift-model-opaque-propagator-negative",
  "plan_sha256": "f4ae8f2ca3ece1bb253ce24a70368e969f0a25bc8d35dd2c8f7578d730aff4e9",
  "qualification_sha256": "d23b9e1b173a0c0584652ee6f241cab1c2bf273d8a06805ac0ac71e561ef3017",
  "population_sha256": "d05be4f2d9effe7b14a2ce5544238364f171e1fb763db2f79ff486526ca7c890",
  "fixture_revision": "sha256:7c8619b2d4a93467fd0a502ed03668bfc8f3b9878a7bd5e9271c7aca31f75f62",
  "configuration": "joern-current108",
  "identity": {
    "adapter_version": "joern-normal-v092",
    "tool": "joern",
    "tool_build_identity": "joern-cli:4.0.660;engine:309ff2c75b0d7314cd9003a13ae298325827a680580efad9be55d6c168363e00;frontend:d8e0746dd2aa6d3919f2f44e329014d4fcff7fab641bcdef5696a33ea6690f07",
    "tool_version": "4.0.660"
  }
}