OSDN Git Service

Fix true divergence mode
authorWojciech Staszkiewicz <staszkiewicz@google.com>
Wed, 28 Sep 2016 23:15:50 +0000 (16:15 -0700)
committerWojciech Staszkiewicz <staszkiewicz@google.com>
Wed, 28 Sep 2016 23:15:50 +0000 (16:15 -0700)
commitb2a3d3d4fcd63b11b1f402613bee4ee085971c47
tree4cb52f0c8d7702561dfe548ed208a03e3ed4813e
parent7f7fb9c0dcb5fc0ed251b3f9bb775de5278534a7
Fix true divergence mode

Do not report TIMEOUT divergences in true divergence mode.

Test: ./run_jfuzz_test.py
Change-Id: I65e48ee6b3d90de0ba997a48b85445312cb0661f
tools/jfuzz/run_jfuzz_test.py