LLNL / dataracebench

Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
Other
67 stars 29 forks source link

Add support to run with openrace. #146

Closed jprotze closed 1 year ago

jprotze commented 1 year ago

Use for example with singularity (docker should be similar):

apptainer build coderrect.sif docker://coderrect/openrace 
apptainer run coderrect.sif bash check-data-races.sh --tsan-clang C