<!--
This file is part of the SV-Benchmarks collection of verification tasks:
https://github.com/sosy-lab/sv-benchmarks

SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks community

SPDX-License-Identifier: Apache-2.0
-->

Some concurrent programs writing in C with Pthread. Submitted by [Deagle](https://github.com/Misasasa/Deagle) Project, which makes some adaptations and variants.

* `airline*`: originated from [JMCR](https://github.com/parasol-aser/JMCR/tree/master/mcr-test/src/main/java/edu/tamu/aser/tests/airline) project; then adapted by [Nidhugg](https://github.com/nidhugg/nidhugg) project.

* `floating_read*`: Accoring to [issue](https://github.com/nidhugg/nidhugg/issues/117), this benchmark is from the 2018 [Nidhugg](https://github.com/nidhugg/nidhugg) project. 

* `arithmetic_prog*`, `circular_buffer*`, and `reorder_c11*` are adapted from the [SCTBench](https://github.com/mc-imperial/sctbench) project. According to this [issue](https://github.com/mc-imperial/sctbench/issues/3), these four benchmarks are form the [ESBMC](https://ssvlab.github.io/esbmc/) project.