Add seeds for reproducible runs

1 files changed, 11 insertions, 9 deletions

diff --git a/src/VeriFuzz/Config.hs b/src/VeriFuzz/Config.hs
index 8a3d422..9961667 100644
--- a/src/VeriFuzz/Config.hs
+++ b/src/VeriFuzz/Config.hs
@@ -74,13 +74,15 @@ module VeriFuzz.Config
     )
 where
 
-import           Control.Applicative (Alternative, (<|>))
-import           Control.Lens        hiding ((.=))
-import           Data.List.NonEmpty  (NonEmpty (..))
-import           Data.Maybe          (fromMaybe)
-import           Data.Text           (Text)
-import qualified Data.Text.IO        as T
-import           Toml                (TomlCodec, (.=))
+import           Control.Applicative    (Alternative, (<|>))
+import           Control.Lens           hiding ((.=))
+import           Data.List.NonEmpty     (NonEmpty (..))
+import           Data.Maybe             (fromMaybe)
+import           Data.Text              (Text)
+import qualified Data.Text.IO           as T
+import           Hedgehog.Internal.Seed (Seed)
+import qualified Hedgehog.Internal.Seed as Seed
+import           Toml                   (TomlCodec, (.=))
 import qualified Toml
 
 -- $conf
@@ -224,7 +226,7 @@ data Probability = Probability { _probModItem   :: {-# UNPACK #-} !ProbModItem
                  deriving (Eq, Show)
 
 data Property = Property { _propSize       :: {-# UNPACK #-} !Int
-                         , _propSeed       :: !(Maybe Int)
+                         , _propSeed       :: !(Maybe Seed)
                          , _propStmntDepth :: {-# UNPACK #-} !Int
                          , _propModDepth   :: {-# UNPACK #-} !Int
                          , _propMaxModules :: {-# UNPACK #-} !Int
@@ -363,7 +365,7 @@ propCodec =
     Property
         <$> defaultValue (defProp propSize) (Toml.int "size")
         .=  _propSize
-        <*> Toml.dioptional (Toml.int "seed")
+        <*> Toml.dioptional (Toml.read "seed")
         .=  _propSeed
         <*> defaultValue (defProp propStmntDepth) (int "statement" "depth")
         .=  _propStmntDepth