diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-04 16:50:27 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-04 16:50:27 +0000 |
commit | 02f599e3d5b54b7d033d4d75db45ab379fe343c9 (patch) | |
tree | f6ab20db70f60f3b258c46bed642368815868e35 /src/VeriFuzz | |
parent | 8454ad46e1022f50fcc0eaf717d2806500e2d7fa (diff) | |
download | verismith-02f599e3d5b54b7d033d4d75db45ab379fe343c9.tar.gz verismith-02f599e3d5b54b7d033d4d75db45ab379fe343c9.zip |
Create procedural generation for Verilog
Diffstat (limited to 'src/VeriFuzz')
-rw-r--r-- | src/VeriFuzz/Gen.hs | 15 |
1 files changed, 3 insertions, 12 deletions
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 [] |