diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-10 17:23:43 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-10 17:23:43 +0000 |
commit | 42bf41f9aa82906c0c44aa290fb496e08db1451a (patch) | |
tree | 03acaa791f774f5cd3dcca1b124b74123b5b1c72 /src/VeriFuzz/Verilog/Arbitrary.hs | |
parent | fa4d1bf03003944e8a73ac4e341633020edca6af (diff) | |
download | verismith-42bf41f9aa82906c0c44aa290fb496e08db1451a.tar.gz verismith-42bf41f9aa82906c0c44aa290fb496e08db1451a.zip |
Remove Arbitrary.hs
Diffstat (limited to 'src/VeriFuzz/Verilog/Arbitrary.hs')
-rw-r--r-- | src/VeriFuzz/Verilog/Arbitrary.hs | 70 |
1 files changed, 0 insertions, 70 deletions
diff --git a/src/VeriFuzz/Verilog/Arbitrary.hs b/src/VeriFuzz/Verilog/Arbitrary.hs deleted file mode 100644 index 075ad03..0000000 --- a/src/VeriFuzz/Verilog/Arbitrary.hs +++ /dev/null @@ -1,70 +0,0 @@ -{-| -Module : VeriFuzz.Verilog.Arbitrary -Description : Arbitrary instances for the AST. -Copyright : (c) 2018-2019, Yann Herklotz Grave -License : GPL-3 -Maintainer : ymherklotz [at] gmail [dot] com -Stability : experimental -Portability : POSIX - -Arbitrary instances for the AST. --} - -module VeriFuzz.Verilog.Arbitrary where - -import Control.Monad (replicateM) -import Data.Text (Text) -import qualified Data.Text as T -import qualified Test.QuickCheck as QC -import VeriFuzz.Verilog.AST - --- Generate Arbitrary instances for the AST - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |