| commit | b2a3d3d4fcd63b11b1f402613bee4ee085971c47 | [log] [tgz] |
|---|---|---|
| author | Wojciech Staszkiewicz <staszkiewicz@google.com> | Wed Sep 28 16:15:50 2016 -0700 |
| committer | Wojciech Staszkiewicz <staszkiewicz@google.com> | Wed Sep 28 16:15:50 2016 -0700 |
| tree | 4cb52f0c8d7702561dfe548ed208a03e3ed4813e | |
| parent | 7f7fb9c0dcb5fc0ed251b3f9bb775de5278534a7 [diff] |
Fix true divergence mode Do not report TIMEOUT divergences in true divergence mode. Test: ./run_jfuzz_test.py Change-Id: I65e48ee6b3d90de0ba997a48b85445312cb0661f