summaryrefslogtreecommitdiff
path: root/tune
diff options
context:
space:
mode:
authorMarco Bodrato <bodrato@mail.dm.unipi.it>2012-01-05 02:12:40 +0100
committerMarco Bodrato <bodrato@mail.dm.unipi.it>2012-01-05 02:12:40 +0100
commit8ca3c891cbba6a5dfa2a831e06b615378a3a382a (patch)
treed7d0b96fda5f15b50f03251a141a19ae4b2acf9b /tune
parentd71bc86c73377404ca6b389ef328af99bf4e0ce9 (diff)
downloadgmp-8ca3c891cbba6a5dfa2a831e06b615378a3a382a.tar.gz
tune_fac_ui: ignore fluctuations on small values.
Diffstat (limited to 'tune')
-rw-r--r--tune/tuneup.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/tune/tuneup.c b/tune/tuneup.c
index 9711a4c79..5ae85782c 100644
--- a/tune/tuneup.c
+++ b/tune/tuneup.c
@@ -2635,6 +2635,7 @@ tune_fac_ui (void)
param.name = "FAC_ODD_THRESHOLD";
param.min_size = 22;
+ param.stop_factor = 1.7;
param.min_is_always = 1;
one (&fac_odd_threshold, &param);
}