PRUNERS / archer

Archer, a data race detection tool for large OpenMP applications
https://pruners.github.io/archer
Apache License 2.0
62 stars 13 forks source link

Standardized flags for printing OMPT events counter and RSS memory peak. #37

Closed simoatze closed 7 years ago

simoatze commented 7 years ago

Created a "ArcherFlags" class that manage the runtime flags. The flags can be set through the env variable ARCHER_OPTIONS. The available flags are: