From 50fbacfcb39e294497f5da7e78c4e3ae20ef21e4 Mon Sep 17 00:00:00 2001 From: Alessandro Comodi Date: Tue, 12 Feb 2019 17:55:31 +0100 Subject: [PATCH] 054-fan-alt: added max number of bits Signed-off-by: Alessandro Comodi --- fuzzers/054-pip-fan-alt/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fuzzers/054-pip-fan-alt/Makefile b/fuzzers/054-pip-fan-alt/Makefile index bd339646..3ff0214e 100644 --- a/fuzzers/054-pip-fan-alt/Makefile +++ b/fuzzers/054-pip-fan-alt/Makefile @@ -1,6 +1,6 @@ MAKETODO_FLAGS=--re "^INT_[LR].FAN_ALT.*GFAN" GENERATE_FLAGS=--todo ../todo.txt N = 48 -SEGMATCH_FLAGS=-m 20 -M 45 +SEGMATCH_FLAGS=-m 20 -M 45 -c 5 include ../int_loop.mk