DataRaceBench v1.0.2

mschordan released this 08 Sep 00:36

· 347 commits to master since this release

8aeba44

fixed Ubuntu 16 linker issue for option --run
added status message while evaluation is performed
improved time measurement output precision in test script

Assets 2