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 event counter and RSS memory peak. #38

Closed simoatze closed 7 years ago

simoatze commented 7 years ago

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

simoatze commented 7 years ago

@dongahn Everything is good now. Looks like Travis CI is down for some problems, so as soon as it's back and the checks are green please merge. Thanks!

simoatze commented 7 years ago

@dongahn This is good to merge, once this is merged I'll merge towards_tr4 on master and I'll create the release.

dongahn commented 7 years ago

Yap!