architectures:
  - x86_64
categories:
  - examples
  - do_not_use_in_study
dependencies:
  svcomp_klee_runtime: {}
  toy_library: {}
language: c99
name: simple_svcomp
schema_version: 0
sources:
  - main.c
variants:
  klee_no_bug:
    verification_tasks:
      no_reach_error_function:
        correct: true
  klee_bug:
    defines:
      BUG: null
    verification_tasks:
      no_reach_error_function:
        correct: false
        counter_examples:
          -
            description: 'Can reach __VERIFIER_error'
            locations:
              -
                file: 'main.c'
                line: 16
description: >
  These benchmarks illustrate using the SV-COMP functions.

architectures:
  - x86_64
categories:
  - examples
  - do_not_use_in_study
dependencies:
  svcomp_klee_runtime: {}
  toy_library: {}
language: c99
name: simple_svcomp
schema_version: 0
sources:
  - main.c
variants:
  klee_no_bug:
    verification_tasks:
      no_reach_error_function:
        correct: true
  klee_bug:
    defines:
      BUG: null
    verification_tasks:
      no_reach_error_function:
        correct: false
        counter_examples:
          -
            description: 'Can reach __VERIFIER_error'
            locations:
              -
                file: 'main.c'
                line: 13
description: >
  These benchmarks illustrate using the SV-COMP functions.

Fix wrong bug location in example
Fix wrong bug location in example
