- entry_type: ghost_variable
  metadata:
    format_version: "0.1"
    uuid: 76045cca-056f-434f-9de5-31bc80bb6a4a
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: __VERIFIER_atomic_locked
  scope: global
  type: int
  initial: "0"
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: fb687492-8141-44b9-85e2-e4f5f7a043d9
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: __VERIFIER_atomic_locked
  expression: "1"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 734
    column: 1
    function: __VERIFIER_atomic_assert
- entry_type: ghost_variable
  metadata:
    format_version: "0.1"
    uuid: 94d2bc8c-b37b-4d6f-9994-6a047af6d7af
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: m_locked
  scope: global
  type: int
  initial: "0"
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: a1ead5f1-b0f9-4920-bf8e-9038d2d93804
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: m_locked
  expression: "1"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 694
    column: 2
    function: index_malloc
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: dae61d97-8dc9-45ce-9984-ca59e0b2b398
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: m_locked
  expression: "0"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 701
    column: 3
    function: index_malloc
- entry_type: ghost_variable
  metadata:
    format_version: "0.1"
    uuid: f23e170d-9c72-4374-b093-cee63b6ca494
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: m2_locked
  scope: global
  type: int
  initial: "0"
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: bdb7d304-bc08-4662-83b6-49a2b81101ee
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: m2_locked
  expression: "1"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 750
    column: 2
    function: thr1
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: 4af74d40-c431-48dd-9029-583f81879d14
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: m_locked
  expression: "0"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 727
    column: 3
    function: push
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: 20a0dab5-ec8c-4bd8-9272-fb870586c72a
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: __VERIFIER_atomic_locked
  expression: "1"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 724
    column: 3
    function: push
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: 35674857-6b4f-4e67-bf50-737f30407c68
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: __VERIFIER_atomic_locked
  expression: "0"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 737
    column: 1
    function: __VERIFIER_atomic_assert
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: 303192ac-45f7-4575-b7a0-41a25e02e41c
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: m_locked
  expression: "0"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 696
    column: 3
    function: index_malloc
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: 22621a34-3c4d-4721-bc80-5bd3ae67379a
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: m_locked
  expression: "1"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 721
    column: 3
    function: push
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: b4717ef4-81ea-4508-963b-9e0b9a733cea
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: m2_locked
  expression: "0"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 757
    column: 3
    function: thr1
- entry_type: ghost_variable
  metadata:
    format_version: "0.1"
    uuid: d35f7dfd-9c83-4e3d-b937-300a2aba79b6
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: multithreaded
  scope: global
  type: int
  initial: "0"
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: 0d147749-d611-411f-b7d3-f0710627d781
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: multithreaded
  expression: "1"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 766
    column: 13
    function: main
- entry_type: ghost_update
  metadata:
    format_version: "0.1"
    uuid: 3d00c991-2273-4908-90bb-a4720bcb09c4
    creation_time: 2024-04-30T09:54:46Z
    producer:
      name: Goblint
      version: heads/yaml-witness-ghost-0-gabe16c034-dirty
      command_line: '''./goblint'' ''--conf'' ''conf/svcomp-ghost.json'' ''--set''
        ''ana.base.privatization'' ''mutex-meet'' ''--sets'' ''ana.specification''
        ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp''
        ''--sets'' ''exp.architecture'' ''32bit'' ''/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i'''
    task:
      input_files:
      - /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
      input_file_hashes:
        /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
      data_model: ILP32
      language: C
      specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
  variable: __VERIFIER_atomic_locked
  expression: "0"
  location:
    file_name: /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/25_stack_longest-1-pthread.i
    file_hash: 3e10ed02255b37a861fcd919e1a26aad90b67620d926f632b070967147a10b69
    line: 726
    column: 3
    function: push
