tune frequencies to avoid enormous trees being created

This commit is contained in:
Joey Hess 2013-05-25 17:18:37 -04:00
parent 90069a32c2
commit 4dc61d74c9

View file

@ -151,8 +151,8 @@ data FuzzAction
instance Arbitrary FuzzAction where
arbitrary = frequency
[ (100, FuzzAdd <$> arbitrary)
, (10, FuzzDelete <$> arbitrary)
[ (50, FuzzAdd <$> arbitrary)
, (50, FuzzDelete <$> arbitrary)
, (10, FuzzMove <$> arbitrary <*> arbitrary)
, (10, FuzzModify <$> arbitrary)
, (10, FuzzDeleteDir <$> arbitrary)