aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
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
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-