- entry_type: invariant_set
  metadata:
    format_version: '2.0'
    uuid: 0218cda4-dd9c-41ae-bc12-42d9bc490f38
    creation_time: '2024-11-17T05:06:07+01:00'
    producer:
      name: Automizer
      version: 0.2.5-tmp.fs.icfgbuilder-eval-3289d67-m
    task:
      input_files:
      - /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-consumption/32_7a_cilled_linux-3.8-rc1-drivers--scsi--scsi_tgt.ko-main.cil.out.i
      input_file_hashes:
        ? /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-consumption/32_7a_cilled_linux-3.8-rc1-drivers--scsi--scsi_tgt.ko-main.cil.out.i
        : e3b9005361fd0095f8dbb62f5fee3acdc88198cbc01de43b11979176397f6891
      specification: |+
        CHECK( init(main()), LTL(G ! overflow) )

      data_model: LP64
      language: C
  content: [
    ]
