diff options
| author | Vladimir Marko <vmarko@google.com> | 2016-04-07 10:12:31 +0100 |
|---|---|---|
| committer | Vladimir Marko <vmarko@google.com> | 2016-04-07 10:53:12 +0100 |
| commit | 1939a8866fccbef90167eeb644ba1fa517228ff9 (patch) | |
| tree | 225a57bc12253e7ca9854bf564fdb2d69263c31a /compiler/optimizing/graph_visualizer.cc | |
| parent | 75563e34a4e64a8e805e6810b13e07f1cafec137 (diff) | |
Add 20s timeout to 570-checker-osr.
It's better to report a timeout than to hang indefinitely.
Change-Id: Ibfa8059c8b44220c7a55801b020094fc342c8047
Diffstat (limited to 'compiler/optimizing/graph_visualizer.cc')
0 files changed, 0 insertions, 0 deletions