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