DataRaceBench v1.1.1

V1.1.1 2017-10-04

• refined source code comments to be consistent: using C-style /* ... */
• specified data race pairs in comments when applicable: using a format of var1@line_no:col_no vs. var2@line_no:col_no