diff options
| author | 2017-07-25 14:39:35 -0700 | |
|---|---|---|
| committer | 2017-07-26 10:01:54 -0700 | |
| commit | ad7083187bef32afe6f350681ec47a27441442d0 (patch) | |
| tree | b565d6384a5ea0b5bf15cbfc1275de85119b4260 /openjdkjvmti/generate-operator-out.py | |
| parent | 9c51dfb9c761499f3dd302b82ebeffdf77749f53 (diff) | |
Changed the likelihood.
Changed the likelihoood of the mutation and added documentation to the
mutation.
Test: Performed. Ran dexfuzz and waited until mutation kicked in.
Change-Id: I878c1c3434cf17ae8eb1172bf0c326bf15629d5e
Diffstat (limited to 'openjdkjvmti/generate-operator-out.py')
0 files changed, 0 insertions, 0 deletions