| commit | 38f63010e34f803fbac78be90039d737a2c69044 | [log] [tgz] |
|---|---|---|
| author | Aart Bik <ajcbik@google.com> | Wed Dec 14 17:16:10 2016 -0800 |
| committer | Aart Bik <ajcbik@google.com> | Thu Dec 15 10:17:15 2016 -0800 |
| tree | 11d3e19bca065f283fa89e119a4df210a1412027 | |
| 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