From 7244b33a559f9bbf7eed5735f1781210cd85d904 Mon Sep 17 00:00:00 2001
From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com>
Date: Sat, 26 Oct 2019 17:08:51 -0300
Subject: [PATCH] Increase dictionary frequency usage parameter up to 40%

---
 lib/Echidna/Config.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Echidna/Config.hs b/lib/Echidna/Config.hs
index 8d57f4eab..edaa32f8e 100644
--- a/lib/Echidna/Config.hs
+++ b/lib/Echidna/Config.hs
@@ -78,7 +78,7 @@ instance FromJSON EConfig where
                           <*> v .:? "shrinkLimit" .!= 5000
                           <*> cov
                           <*> v .:? "seed"
-                          <*> v .:? "dictFreq"    .!= 0.15
+                          <*> v .:? "dictFreq"    .!= 0.40
 
         names :: Names
         names Sender = (" from: " ++) . show