| commit | 626aa2c27db883c35affa732e768b208da910eba | [log] [tgz] |
|---|---|---|
| author | Branislav Rankov <branislav.rankov@linaro.org> | Fri Dec 23 16:19:09 2016 +0000 |
| committer | Branislav Rankov <branislav.rankov@linaro.org> | Fri Jan 20 11:50:46 2017 +0000 |
| tree | 1440471233218bbd695ead4f01a5303eb5ff7870 | |
| parent | fff9d4474a60030b443b7f2fed0d61e228718491 [diff] |
Dexfuzz: Added --divergence-retry option. This option controls the number of retries done when checking for self-divergence. Test: dexfuzz --inputs=seeds --execute --arm --optimizing --interpreter --repeat=100 --divergence-retry=20 Change-Id: I90e2705e40c6f23d47ddbb856828147c4f6a4157