Skip to content

Commit

Permalink
Updated README file with version number.
Browse files Browse the repository at this point in the history
  • Loading branch information
@mschordan
mschordan committed Sep 8, 2017
1 parent 3ad7fc2 commit 8aeba44
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# DataRaceBench 1.0.0
# DataRaceBench 1.0.2

DataRaceBench is a benchmark suite designed to systematically and
quantitatively evaluate the effectiveness of data race detection
Expand Down

0 comments on commit 8aeba44

Please sign in to comment.