Hacker News new | ask | show | jobs
by wtetzner 3135 days ago
It would probably be more accurate to say "if it can't prove there aren't any data races".