From 2e29b534005e52c57d726201644ea28ba33a9a3d Mon Sep 17 00:00:00 2001 From: Veronica Radu Date: Wed, 2 Oct 2019 10:23:25 +0200 Subject: prog: fix plain priority for integers --- prog/mutation.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'prog/mutation.go') diff --git a/prog/mutation.go b/prog/mutation.go index f19813148..8e59880a5 100644 --- a/prog/mutation.go +++ b/prog/mutation.go @@ -479,7 +479,7 @@ func (ma *mutationArgs) collectArg(arg Arg, ctx *ArgCtx) { func (t *IntType) getMutationPrio(target *Target, arg Arg, ignoreSpecial bool) (prio float64, stopRecursion bool) { // For a integer without a range of values, the priority is based on // the number of bits occupied by the underlying type. - plainPrio := math.Log2((float64(t.Size() * 8))) + 0.1*maxPriority + plainPrio := math.Log2(float64(t.TypeBitSize())) + 0.1*maxPriority if t.Kind != IntRange { return plainPrio, false } -- cgit mrf-deployment