diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-07-23 12:00:05 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-23 12:00:05 +0200 |
| commit | dee97dfaaec3da1719b059d6a44ebee78ff76999 (patch) | |
| tree | e3135cc559b8f62560e20e909b3e6cf7a18ff5c4 | |
| parent | 5810fe038a1371392e9e48e5025eefa435b2597c (diff) | |
| download | verismith-dee97dfaaec3da1719b059d6a44ebee78ff76999.tar.gz verismith-dee97dfaaec3da1719b059d6a44ebee78ff76999.zip | |
Fix the filtering of the local values
| -rw-r--r-- | src/VeriFuzz/Verilog/Gen.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/VeriFuzz/Verilog/Gen.hs b/src/VeriFuzz/Verilog/Gen.hs index f08e5a6..458878b 100644 --- a/src/VeriFuzz/Verilog/Gen.hs +++ b/src/VeriFuzz/Verilog/Gen.hs @@ -466,6 +466,9 @@ calcRange ps i (Range l r) = eval l - eval r + 1 where eval a = fromIntegral . cata (evaluateConst ps) $ maybe a (`resize` a) i +notIdentElem :: Port -> [Port] -> Bool +notIdentElem p = notElem (p ^. portName) . toListOf (traverse . portName) + -- | Generates a module definition randomly. It always has one output port which -- is set to @y@. The size of @y@ is the total combination of all the locally -- defined wires, so that it correctly reflects the internal state of the @@ -478,7 +481,7 @@ moduleDef top = do ps <- Hog.list (Hog.linear 0 10) parameter context <- get config <- lift ask - let local = filter (`notElem` portList) $ _variables context + let local = filter (`notIdentElem` portList) $ _variables context let size = evalRange (_parameters context) 32 |