aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2019-01-10 17:23:43 +0000
committerYann Herklotz <ymherklotz@gmail.com>2019-01-10 17:23:43 +0000
commit42bf41f9aa82906c0c44aa290fb496e08db1451a (patch)
tree03acaa791f774f5cd3dcca1b124b74123b5b1c72 /src
parentfa4d1bf03003944e8a73ac4e341633020edca6af (diff)
downloadverismith-42bf41f9aa82906c0c44aa290fb496e08db1451a.tar.gz
verismith-42bf41f9aa82906c0c44aa290fb496e08db1451a.zip
Remove Arbitrary.hs
Diffstat (limited to 'src')
-rw-r--r--src/VeriFuzz/Verilog/Arbitrary.hs70
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
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-