search

PRUNERS / archer

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

Fix the logic for evaluating archer options #75

Closed jprotze closed 6 years ago

jprotze commented 6 years ago

The old implementation would only print an error when setting print_max_rss=1. Now the error message is printed when an unknown option is provided