format_version: '2.0'
input_files: Problem12.c
properties:
  - property_file: ../properties/unreach-call.prp
    expected_verdict: false
  - property_file: properties/unreach-call-a.prp
    expected_verdict: true
  - property_file: properties/unreach-call-b.prp
    expected_verdict: false
  - property_file: properties/unreach-call-0.prp
    expected_verdict: true
  - property_file: properties/unreach-call-1.prp
    expected_verdict: false
  - property_file: properties/unreach-call-2.prp
    expected_verdict: false
  - property_file: properties/unreach-call-3.prp
    expected_verdict: false
  - property_file: properties/unreach-call-4.prp
    expected_verdict: true
  - property_file: properties/unreach-call-5.prp
    expected_verdict: true
  - property_file: properties/unreach-call-6.prp
    expected_verdict: false
  - property_file: properties/unreach-call-7.prp
    expected_verdict: true
  - property_file: properties/unreach-call-8.prp
    expected_verdict: true
  - property_file: properties/unreach-call-9.prp
    expected_verdict: false
  - property_file: properties/unreach-call-10.prp
    expected_verdict: false
  - property_file: properties/unreach-call-11.prp
    expected_verdict: false
  - property_file: properties/unreach-call-12.prp
    expected_verdict: true
  - property_file: properties/unreach-call-13.prp
    expected_verdict: false
  - property_file: properties/unreach-call-14.prp
    expected_verdict: true
  - property_file: properties/unreach-call-15.prp
    expected_verdict: true
  - property_file: properties/unreach-call-16.prp
    expected_verdict: true
  - property_file: properties/unreach-call-17.prp
    expected_verdict: false
  - property_file: properties/unreach-call-18.prp
    expected_verdict: true
  - property_file: properties/unreach-call-19.prp
    expected_verdict: true
  - property_file: properties/unreach-call-20.prp
    expected_verdict: false
  - property_file: properties/unreach-call-21.prp
    expected_verdict: true
  - property_file: properties/unreach-call-22.prp
    expected_verdict: true
  - property_file: properties/unreach-call-23.prp
    expected_verdict: false
  - property_file: properties/unreach-call-24.prp
    expected_verdict: true
  - property_file: properties/unreach-call-25.prp
    expected_verdict: false
  - property_file: properties/unreach-call-26.prp
    expected_verdict: false
  - property_file: properties/unreach-call-27.prp
    expected_verdict: true
  - property_file: properties/unreach-call-28.prp
    expected_verdict: true
  - property_file: properties/unreach-call-29.prp
    expected_verdict: false
  - property_file: properties/unreach-call-30.prp
    expected_verdict: false
  - property_file: properties/unreach-call-31.prp
    expected_verdict: false
  - property_file: properties/unreach-call-32.prp
    expected_verdict: true
  - property_file: properties/unreach-call-33.prp
    expected_verdict: false
  - property_file: properties/unreach-call-34.prp
    expected_verdict: true
  - property_file: properties/unreach-call-35.prp
    expected_verdict: true
  - property_file: properties/unreach-call-36.prp
    expected_verdict: true
  - property_file: properties/unreach-call-37.prp
    expected_verdict: true
  - property_file: properties/unreach-call-38.prp
    expected_verdict: true
  - property_file: properties/unreach-call-39.prp
    expected_verdict: true
  - property_file: properties/unreach-call-40.prp
    expected_verdict: false
  - property_file: properties/unreach-call-41.prp
    expected_verdict: true
  - property_file: properties/unreach-call-42.prp
    expected_verdict: false
  - property_file: properties/unreach-call-43.prp
    expected_verdict: true
  - property_file: properties/unreach-call-44.prp
    expected_verdict: false
  - property_file: properties/unreach-call-45.prp
    expected_verdict: true
  - property_file: properties/unreach-call-46.prp
    expected_verdict: false
  - property_file: properties/unreach-call-47.prp
    expected_verdict: true
  - property_file: properties/unreach-call-48.prp
    expected_verdict: true
  - property_file: properties/unreach-call-49.prp
    expected_verdict: true
  - property_file: properties/unreach-call-50.prp
    expected_verdict: false
  - property_file: properties/unreach-call-51.prp
    expected_verdict: true
  - property_file: properties/unreach-call-52.prp
    expected_verdict: true
  - property_file: properties/unreach-call-53.prp
    expected_verdict: true
  - property_file: properties/unreach-call-54.prp
    expected_verdict: true
  - property_file: properties/unreach-call-55.prp
    expected_verdict: true
  - property_file: properties/unreach-call-56.prp
    expected_verdict: true
  - property_file: properties/unreach-call-57.prp
    expected_verdict: false
  - property_file: properties/unreach-call-58.prp
    expected_verdict: true
  - property_file: properties/unreach-call-59.prp
    expected_verdict: false
  - property_file: properties/unreach-call-60.prp
    expected_verdict: true
  - property_file: properties/unreach-call-61.prp
    expected_verdict: true
  - property_file: properties/unreach-call-62.prp
    expected_verdict: false
  - property_file: properties/unreach-call-63.prp
    expected_verdict: false
  - property_file: properties/unreach-call-64.prp
    expected_verdict: true
  - property_file: properties/unreach-call-65.prp
    expected_verdict: true
  - property_file: properties/unreach-call-66.prp
    expected_verdict: false
  - property_file: properties/unreach-call-67.prp
    expected_verdict: true
  - property_file: properties/unreach-call-68.prp
    expected_verdict: false
  - property_file: properties/unreach-call-69.prp
    expected_verdict: true
  - property_file: properties/unreach-call-70.prp
    expected_verdict: true
  - property_file: properties/unreach-call-71.prp
    expected_verdict: true
  - property_file: properties/unreach-call-72.prp
    expected_verdict: false
  - property_file: properties/unreach-call-73.prp
    expected_verdict: true
  - property_file: properties/unreach-call-74.prp
    expected_verdict: false
  - property_file: properties/unreach-call-75.prp
    expected_verdict: true
  - property_file: properties/unreach-call-76.prp
    expected_verdict: true
  - property_file: properties/unreach-call-77.prp
    expected_verdict: true
  - property_file: properties/unreach-call-78.prp
    expected_verdict: false
  - property_file: properties/unreach-call-79.prp
    expected_verdict: false
  - property_file: properties/unreach-call-80.prp
    expected_verdict: false
  - property_file: properties/unreach-call-81.prp
    expected_verdict: true
  - property_file: properties/unreach-call-82.prp
    expected_verdict: true
  - property_file: properties/unreach-call-83.prp
    expected_verdict: true
  - property_file: properties/unreach-call-84.prp
    expected_verdict: false
  - property_file: properties/unreach-call-85.prp
    expected_verdict: false
  - property_file: properties/unreach-call-86.prp
    expected_verdict: true
  - property_file: properties/unreach-call-87.prp
    expected_verdict: true
  - property_file: properties/unreach-call-88.prp
    expected_verdict: true
  - property_file: properties/unreach-call-89.prp
    expected_verdict: true
  - property_file: properties/unreach-call-90.prp
    expected_verdict: true
  - property_file: properties/unreach-call-91.prp
    expected_verdict: true
  - property_file: properties/unreach-call-92.prp
    expected_verdict: false
  - property_file: properties/unreach-call-93.prp
    expected_verdict: true
  - property_file: properties/unreach-call-94.prp
    expected_verdict: false
  - property_file: properties/unreach-call-95.prp
    expected_verdict: true
  - property_file: properties/unreach-call-96.prp
    expected_verdict: false
  - property_file: properties/unreach-call-97.prp
    expected_verdict: true
  - property_file: properties/unreach-call-98.prp
    expected_verdict: true
  - property_file: properties/unreach-call-99.prp
    expected_verdict: false
  - property_file: ../properties/coverage-error-call.prp
  - property_file: ../properties/coverage-branches.prp
options:
  language: C
  data_model: ILP32
