diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-05 16:54:27 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-05 16:54:27 +0100 |
commit | c31961da322d9700fd6604541cbce5a4042f9b24 (patch) | |
tree | 0825f105d6b52354eda203a9780e27a3989addcf /src/VeriFuzz/Verilog/CodeGen.hs | |
parent | 5c4bf34321e9ba334bcb4629f8cdf75b5e4912f0 (diff) | |
download | verismith-c31961da322d9700fd6604541cbce5a4042f9b24.tar.gz verismith-c31961da322d9700fd6604541cbce5a4042f9b24.zip |
Add seeds for reproducible runs
Diffstat (limited to 'src/VeriFuzz/Verilog/CodeGen.hs')
-rw-r--r-- | src/VeriFuzz/Verilog/CodeGen.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Verilog/CodeGen.hs b/src/VeriFuzz/Verilog/CodeGen.hs index 2cd2b13..af255a2 100644 --- a/src/VeriFuzz/Verilog/CodeGen.hs +++ b/src/VeriFuzz/Verilog/CodeGen.hs @@ -138,7 +138,7 @@ expr (BinOp eRhs bin eLhs) = "(" <> expr eRhs <> binaryOp bin <> expr eLhs <> ")" expr (Number b ) = showNum b expr (Id i ) = getIdentifier i -expr (VecSelect i e) = getIdentifier i <> "[" <> genExpr e <> "]" +expr (VecSelect i e) = getIdentifier i <> "[" <> expr e <> "]" expr (RangeSelect i r) = getIdentifier i <> range r expr (Concat c ) = "{" <> comma (expr <$> c) <> "}" expr (UnOp u e ) = "(" <> unaryOp u <> expr e <> ")" |