OSDN Git Service

Dexfuzz: Added --divergence-retry option.
authorBranislav Rankov <branislav.rankov@linaro.org>
Fri, 23 Dec 2016 16:19:09 +0000 (16:19 +0000)
committerBranislav Rankov <branislav.rankov@linaro.org>
Fri, 20 Jan 2017 11:50:46 +0000 (11:50 +0000)
commit626aa2c27db883c35affa732e768b208da910eba
tree1440471233218bbd695ead4f01a5303eb5ff7870
parentfff9d4474a60030b443b7f2fed0d61e228718491
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
tools/dexfuzz/src/dexfuzz/Options.java
tools/dexfuzz/src/dexfuzz/fuzzers/Fuzzer.java