diff options
| author | 2016-09-29 00:56:11 +0000 | |
|---|---|---|
| committer | 2016-09-29 00:56:11 +0000 | |
| commit | 6e6c479a4495f6fb412124eeacd7218fe1875630 (patch) | |
| tree | 1da59cf3ec39506d1fed07cdb06da7f4eef961b9 | |
| parent | dd2b8a5d78a2515f10ab7bbb0a18f42b4e7fa23f (diff) | |
| parent | b2a3d3d4fcd63b11b1f402613bee4ee085971c47 (diff) | |
Merge "Fix true divergence mode"
| -rwxr-xr-x | tools/jfuzz/run_jfuzz_test.py | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/tools/jfuzz/run_jfuzz_test.py b/tools/jfuzz/run_jfuzz_test.py index 54f9bb494e..fd8415d3a9 100755 --- a/tools/jfuzz/run_jfuzz_test.py +++ b/tools/jfuzz/run_jfuzz_test.py @@ -450,13 +450,13 @@ class JFuzzTester(object): os.mkdir(ddir) for f in glob('*.txt') + ['Test.java']: shutil.copy(f, ddir) - # Maybe run bisection bug search. - if (retc1 in BISECTABLE_RET_CODES and retc2 in BISECTABLE_RET_CODES and - not (self._true_divergence_only and RetCode.TIMEOUT in (retc1, retc2))): - self.MaybeBisectDivergence(retc1, retc2, is_output_divergence) - # Call reporting script. - if self._report_script: - self.RunReportScript(retc1, retc2, is_output_divergence) + if not (self._true_divergence_only and RetCode.TIMEOUT in (retc1, retc2)): + # Maybe run bisection bug search. + if retc1 in BISECTABLE_RET_CODES and retc2 in BISECTABLE_RET_CODES: + self.MaybeBisectDivergence(retc1, retc2, is_output_divergence) + # Call reporting script. + if self._report_script: + self.RunReportScript(retc1, retc2, is_output_divergence) def RunReportScript(self, retc1, retc2, is_output_divergence): """Runs report script.""" |