diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-07 11:38:41 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-07 11:38:41 +0000 |
| commit | 24df5f787068a50bc90433e7073bba0ab82d1938 (patch) | |
| tree | fbee343cd9ac319812354b86809cb8d662b0cb84 | |
| parent | 7407dbc84b49287b5df64fb68e1d1b58d9cc8b22 (diff) | |
| download | verismith-24df5f787068a50bc90433e7073bba0ab82d1938.tar.gz verismith-24df5f787068a50bc90433e7073bba0ab82d1938.zip | |
Fix build
| -rw-r--r-- | src/VeriFuzz/Gen.hs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/VeriFuzz/Gen.hs b/src/VeriFuzz/Gen.hs index 5c8a60b..8dbbe24 100644 --- a/src/VeriFuzz/Gen.hs +++ b/src/VeriFuzz/Gen.hs @@ -31,7 +31,6 @@ import Test.QuickCheck (Gen) import qualified Test.QuickCheck as QC import VeriFuzz.AST import VeriFuzz.ASTGen -import VeriFuzz.CodeGen import VeriFuzz.Config import VeriFuzz.Internal import VeriFuzz.Mutate @@ -126,16 +125,6 @@ scopedExpr = do lvalFromPort :: Port -> LVal lvalFromPort (Port _ _ _ i) = RegId i -scopedReg :: StateGen LVal -scopedReg = do - context <- get - gen - . QC.elements - . fmap lvalFromPort - . filter (\p -> p ^. portType == Reg) - $ context - ^. variables - probability :: Config -> Probability probability c = c ^. configProbability |