A repository of this https://github.com/LLNL/dataracebench.git converted into Habanero-Java
The benchmarks are currently being translated.
Running the scripts scripts/runOne.sh and scripts/runAll.sh currently targets the
benchmarks held in benchmarks/AllBenchmarks2018 directory.
To run one benchmark, type this into your shell from this directory.
tools/runOne.sh [BenchmarkClass] [race-detector]
Replace [BenchmarkClass] with a class name in the benchmarks/AllBenchmarks2018 directory
and [race-detector] with the name of one of the JPF config files located in the config
directory.
For example,
tools/runOne.sh Add fasttrack
You will have to make sure the race detector you are trying to run has been compiled.
tools/compileTool.sh