From 2fd6bd0d1b46dd17621c1c4a7ae167341e07620e Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Sat, 18 Jan 2020 20:57:47 +0100 Subject: 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). --- prog/mutation.go | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'prog/mutation.go') 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) { -- cgit mrf-deployment