diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-15 19:39:49 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-15 19:39:49 +0000 |
commit | 0d4b12cb4da3c32a24633dffa8eeb649d088a42e (patch) | |
tree | e384b7c6a50d75f548a960acc6d9e027299863f1 /src/VeriFuzz | |
parent | b542482726ba950a7286bd33d146c3e2c11d93bf (diff) | |
download | verismith-0d4b12cb4da3c32a24633dffa8eeb649d088a42e.tar.gz verismith-0d4b12cb4da3c32a24633dffa8eeb649d088a42e.zip |
Take out non synthesisable comparison
Diffstat (limited to 'src/VeriFuzz')
-rw-r--r-- | src/VeriFuzz/AST.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz/AST.hs b/src/VeriFuzz/AST.hs index fe76042..f5d1824 100644 --- a/src/VeriFuzz/AST.hs +++ b/src/VeriFuzz/AST.hs @@ -198,8 +198,8 @@ instance QC.Arbitrary BinaryOperator where -- , BinMod , BinEq , BinNEq - , BinCEq - , BinCNEq +-- , BinCEq +-- , BinCNEq , BinLAnd , BinLOr , BinLT |