From a807a99ed6744f7e6735fd53dca12390cd7b6004 Mon Sep 17 00:00:00 2001
From: agroce <agroce@gmail.com>
Date: Thu, 8 Aug 2019 09:48:10 -0700
Subject: [PATCH] default delays to max of one week

---
 examples/solidity/basic/default.yaml | 8 ++++----
 lib/Echidna/Config.hs                | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/examples/solidity/basic/default.yaml b/examples/solidity/basic/default.yaml
index 2c1739575..1c790c28d 100644
--- a/examples/solidity/basic/default.yaml
+++ b/examples/solidity/basic/default.yaml
@@ -34,7 +34,7 @@ quiet: False
 #dashboard determines if output is just text or an AFL-like display
 dashboard: true
 #seed not defined by default, is the random seed
-maxTimeDelay: 0
-#maximum time between generated txs
-maxBlockDelay: 0
-#maximum number of blocks elapsed between generated txs
+maxTimeDelay: 604800
+#maximum time between generated txs; default is one week
+maxBlockDelay: 60480
+#maximum number of blocks elapsed between generated txs; default is expected increment in one week
diff --git a/lib/Echidna/Config.hs b/lib/Echidna/Config.hs
index a86e72a5c..55a29406b 100644
--- a/lib/Echidna/Config.hs
+++ b/lib/Echidna/Config.hs
@@ -67,7 +67,7 @@ instance FromJSON EConfig where
                                   (const psender)
         getWord s d = C Dull . fromIntegral <$> v .:? s .!= (d :: Integer)
         xc = liftM4 TxConf (getWord "propMaxGas" 8000030) (getWord "testMaxGas" 0xffffffff)
-                           (getWord "maxTimeDelay" 0)     (getWord "maxBlockDelay" 0)
+                           (getWord "maxTimeDelay" 604800)     (getWord "maxBlockDelay" 60480)
         cc = CampaignConf <$> v .:? "testLimit"   .!= 50000
                           <*> v .:? "seqLen"      .!= 100
                           <*> v .:? "shrinkLimit" .!= 5000