diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-09 17:00:35 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-09 17:00:35 +0100 |
commit | c1a832419a28ac074cbccbeb7060afd22c36d033 (patch) | |
tree | d051d9d22c985219f063aa5d17aa20f9c6931c08 /src/VeriFuzz/Verilog/Arbitrary.hs | |
parent | d18b11d671c8562c148515347aaf096bc942418f (diff) | |
download | verismith-c1a832419a28ac074cbccbeb7060afd22c36d033.tar.gz verismith-c1a832419a28ac074cbccbeb7060afd22c36d033.zip |
Add generation of parameters and constant expressions
Diffstat (limited to 'src/VeriFuzz/Verilog/Arbitrary.hs')
-rw-r--r-- | src/VeriFuzz/Verilog/Arbitrary.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/VeriFuzz/Verilog/Arbitrary.hs b/src/VeriFuzz/Verilog/Arbitrary.hs index aed548b..6655309 100644 --- a/src/VeriFuzz/Verilog/Arbitrary.hs +++ b/src/VeriFuzz/Verilog/Arbitrary.hs @@ -17,6 +17,8 @@ module VeriFuzz.Verilog.Arbitrary , arb , genPositive , exprWithContext + , listOf1 + , listOf ) where |