diff options
| author | Wojciech Staszkiewicz <staszkiewicz@google.com> | 2016-09-28 16:15:50 -0700 |
|---|---|---|
| committer | Wojciech Staszkiewicz <staszkiewicz@google.com> | 2016-09-28 16:15:50 -0700 |
| commit | b2a3d3d4fcd63b11b1f402613bee4ee085971c47 (patch) | |
| tree | 4cb52f0c8d7702561dfe548ed208a03e3ed4813e /compiler/driver/compiler_driver_test.cc | |
| parent | 7f7fb9c0dcb5fc0ed251b3f9bb775de5278534a7 (diff) | |
Fix true divergence mode
Do not report TIMEOUT divergences in true divergence mode.
Test: ./run_jfuzz_test.py
Change-Id: I65e48ee6b3d90de0ba997a48b85445312cb0661f
Diffstat (limited to 'compiler/driver/compiler_driver_test.cc')
0 files changed, 0 insertions, 0 deletions