diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-07 18:14:06 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-07 18:14:06 +0000 |
| commit | 75d363184e02ca504905ce5ba8158b5da49b890d (patch) | |
| tree | 73f6bcac1d3e035d387eb3e1d1e5568f4e93ee82 /src | |
| parent | 2d5a02e645e580c5f90f98dc70388f4586a0fb42 (diff) | |
| download | verismith-75d363184e02ca504905ce5ba8158b5da49b890d.tar.gz verismith-75d363184e02ca504905ce5ba8158b5da49b890d.zip | |
Remove divide and mod from the generator list
Diffstat (limited to 'src')
| -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 15fa792..b37a5f5 100644 --- a/src/VeriFuzz/AST.hs +++ b/src/VeriFuzz/AST.hs @@ -190,8 +190,8 @@ instance QC.Arbitrary BinaryOperator where [ BinPlus , BinMinus , BinTimes - , BinDiv - , BinMod +-- , BinDiv +-- , BinMod , BinEq , BinNEq , BinCEq |