Commit b2a3d3d4 authored by Wojciech Staszkiewicz's avatar Wojciech Staszkiewicz
Browse files

Fix true divergence mode 

Do not report TIMEOUT divergences in true divergence mode.

Test: ./run_jfuzz_test.py
Change-Id: I65e48ee6b3d90de0ba997a48b85445312cb0661f
parent 7f7fb9c0
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment