diff options
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 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |