diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-01-18 20:57:47 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-01-18 21:02:24 +0100 |
| commit | 2fd6bd0d1b46dd17621c1c4a7ae167341e07620e (patch) | |
| tree | e424e8f45e78dd2925a6b8b759dbdc22ff0ddb9c /prog/mutation.go | |
| parent | de577addbf322eaa76ab50478593df7b11f197ff (diff) | |
prog: reduce len mutation priority
Mutating LenType only produces "incorrect" results according to descriptions,
we generally try to do it less often (there is infinite space of incorrect inputs).
Diffstat (limited to 'prog/mutation.go')
| -rw-r--r-- | prog/mutation.go | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/prog/mutation.go b/prog/mutation.go index 7868c6445..f70a62cbe 100644 --- a/prog/mutation.go +++ b/prog/mutation.go @@ -629,7 +629,8 @@ func (t *VmaType) getMutationPrio(target *Target, arg Arg, ignoreSpecial bool) ( } func (t *LenType) getMutationPrio(target *Target, arg Arg, ignoreSpecial bool) (prio float64, stopRecursion bool) { - return 0.6 * maxPriority, false + // Mutating LenType only produces "incorrect" results according to descriptions. + return 0.1 * maxPriority, false } func (t *BufferType) getMutationPrio(target *Target, arg Arg, ignoreSpecial bool) (prio float64, stopRecursion bool) { |