GitHub repository: runtimeverification/racy-c-programs
Primary language: C++
Created: 2015-10-12T14:14:23Z
Description: Benchmark of C/C++ programs exhibiting races.