diff options
| author | Aart Bik <ajcbik@google.com> | 2016-12-14 17:16:10 -0800 |
|---|---|---|
| committer | Aart Bik <ajcbik@google.com> | 2016-12-15 10:17:15 -0800 |
| commit | 38f63010e34f803fbac78be90039d737a2c69044 (patch) | |
| tree | 11d3e19bca065f283fa89e119a4df210a1412027 /compiler/optimizing/graph_visualizer.cc | |
| parent | 52f52361c2ea37941fbda71e3c653bb8096bf516 (diff) | |
Modify reporting when only true divergences are requested.
Rationale:
Old tool would still report divergences on time out
(and just skip extra processing). It is more desirable
to treat it as a regular time out, however.
Test: fuzzing itself
BUG: 31267855
Change-Id: I32e9758c464be7a22752a85c25dbb8cb6b889399
Diffstat (limited to 'compiler/optimizing/graph_visualizer.cc')
0 files changed, 0 insertions, 0 deletions