architectures:
  - x86_64
  - i686
language: c99
memory_model: precise
name: pthread_example
schema_version: 0
sources:
  - main.c
verification_tasks:
  no_reach_error_function:
    correct: false
comments: |
  Simple benchmark that uses pthreads
dependencies:
  pthreads: {}

architectures:
  - x86_64
  - i686
language: c99
memory_model: precise
name: pthread_example
schema_version: 0
sources:
  - main.c
verification_tasks:
  no_reach_error_function:
    correct: true
comments: |
  Simple benchmark that uses pthreads
dependencies:
  pthreads: {}

Fix expected correctness of pthread benchmark. It is actually correct.
Fix expected correctness of pthread benchmark. It is actually correct.
