diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-22 14:30:08 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-22 14:30:08 +0000 |
| commit | 8ea1583f4b0f63a5c2b0d46594eac3955297e65c (patch) | |
| tree | 7a75ce091631144b9095bcf0e73353c153ee59da /src/Test/VeriFuzz/VerilogAST.hs | |
| parent | 7f73caee6374f0da1bc335a6a618ddd7f2249a14 (diff) | |
| download | verismith-8ea1583f4b0f63a5c2b0d46594eac3955297e65c.tar.gz verismith-8ea1583f4b0f63a5c2b0d46594eac3955297e65c.zip | |
[Fix #2] Add generation of AST from Circuit
Diffstat (limited to 'src/Test/VeriFuzz/VerilogAST.hs')
| -rw-r--r-- | src/Test/VeriFuzz/VerilogAST.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Test/VeriFuzz/VerilogAST.hs b/src/Test/VeriFuzz/VerilogAST.hs index fc3c07b..cf470a5 100644 --- a/src/Test/VeriFuzz/VerilogAST.hs +++ b/src/Test/VeriFuzz/VerilogAST.hs @@ -104,7 +104,7 @@ instance QC.Arbitrary Identifier where (QC.shuffle (['a'..'z'] <> ['A'..'Z']) >>= QC.sublistOf) instance QC.Arbitrary Number where - arbitrary = Number <$> (suchThat QC.arbitrary (>0)) <*> QC.arbitrary + arbitrary = Number <$> suchThat QC.arbitrary (>0) <*> QC.arbitrary instance QC.Arbitrary BinaryOperator where arbitrary = QC.elements [BinAnd, BinOr, BinXor] |