diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-31 19:36:23 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-31 19:36:23 +0100 |
| commit | 6610c9a341c568ea369049a7a3d33b64ab4f2815 (patch) | |
| tree | fb1ee2e00b99708955618cf880e4ffd3ff7dc46d /src/Test/VeriFuzz/Verilog/Arbitrary.hs | |
| parent | 4f9e123fc9b00986f627aeaf0eee6c29be1b3780 (diff) | |
| download | verismith-6610c9a341c568ea369049a7a3d33b64ab4f2815.tar.gz verismith-6610c9a341c568ea369049a7a3d33b64ab4f2815.zip | |
Add show instance and add concat to reglval
Diffstat (limited to 'src/Test/VeriFuzz/Verilog/Arbitrary.hs')
| -rw-r--r-- | src/Test/VeriFuzz/Verilog/Arbitrary.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Test/VeriFuzz/Verilog/Arbitrary.hs b/src/Test/VeriFuzz/Verilog/Arbitrary.hs index 5f30b73..1bcb727 100644 --- a/src/Test/VeriFuzz/Verilog/Arbitrary.hs +++ b/src/Test/VeriFuzz/Verilog/Arbitrary.hs @@ -144,7 +144,7 @@ instance QC.Arbitrary ModConn where instance QC.Arbitrary ConstExpr where arbitrary = ConstExpr <$> positiveArb -instance QC.Arbitrary RegLVal where +instance QC.Arbitrary LVal where arbitrary = QC.oneof [ RegId <$> QC.arbitrary , RegExpr <$> QC.arbitrary <*> QC.arbitrary , RegSize <$> QC.arbitrary <*> QC.arbitrary <*> QC.arbitrary |