From 02f599e3d5b54b7d033d4d75db45ab379fe343c9 Mon Sep 17 00:00:00 2001
From: Yann Herklotz Grave <git@yannherklotzgrave.com>
Date: Mon, 4 Mar 2019 16:50:27 +0000
Subject: Create procedural generation for Verilog

---
 src/VeriFuzz/Gen.hs | 15 +++------------
 1 file changed, 3 insertions(+), 12 deletions(-)

(limited to 'src/VeriFuzz/Gen.hs')

diff --git a/src/VeriFuzz/Gen.hs b/src/VeriFuzz/Gen.hs
index 707b422..84700ab 100644
--- a/src/VeriFuzz/Gen.hs
+++ b/src/VeriFuzz/Gen.hs
@@ -31,6 +31,7 @@ import           Test.QuickCheck                (Gen)
 import qualified Test.QuickCheck                as QC
 import           VeriFuzz.AST
 import           VeriFuzz.ASTGen
+import           VeriFuzz.Config
 import           VeriFuzz.Internal
 import           VeriFuzz.Mutate
 import           VeriFuzz.Random
@@ -41,17 +42,7 @@ data Context = Context { _variables :: [Port]
 
 makeLenses ''Context
 
-data ProbModItem = ProbModItem { _probAssign :: {-# UNPACK #-} !Int
-                               , _probAlways :: {-# UNPACK #-} !Int
-                               }
-
---makeLenses ''ProbModItem
-
-data Probabilities = Probabilities { _probModItem :: {-# UNPACK #-} !ProbModItem }
-
---makeLenses ''Probabilities
-
-type StateGen =  StateT Context (ReaderT Probabilities Gen)
+type StateGen =  StateT Context (ReaderT Probability Gen)
 
 toId :: Int -> Identifier
 toId = Identifier . ("w" <>) . T.pack . show
@@ -151,5 +142,5 @@ procedural =
         .   Description
         <$> runReaderT (evalStateT (proceduralMod True) context) config
   where
-    config  = Probabilities (ProbModItem 5 1)
+    config  = Probability 1 1
     context = Context []
-- 
cgit