search

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

New branch "manage_clock" failing tests #20

Closed simoatze closed 7 years ago

simoatze commented 7 years ago

@jprotze Not sure if you saw it but your new branch is failing the tests, if you join to Salck (https://pruners.slack.com/messages/archer-travisci/) you'll see the TravisCI channel for Archer, anyway here's the link: https://travis-ci.org/PRUNERS/archer/builds/203203366.

jprotze commented 7 years ago

This branch depends on modified compiler-rt: https://github.com/PRUNERS/compiler-rt/tree/manage_clock

How do I deactivate travis for this branch?

simoatze commented 7 years ago

I see, I'll take a look, no worries for now.

jprotze commented 7 years ago

New approach should deliver better results and uses only upstream TSan annotations Tests run "successful"