/TaskSanitizer

A tool for detecting determinacy races in OpenMP task applications.

Primary LanguageC++OtherNOASSERTION

Stargazers