From a8436846201d03b80d8b11b68ef07923bb2997b4 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Wed, 9 Jan 2019 21:12:28 +0000
Subject: Add doctest-discover

---
 tests/Doctest.hs   | 5 +----
 tests/doctest.json | 5 +++++
 verifuzz.cabal     | 6 ++++--
 3 files changed, 10 insertions(+), 6 deletions(-)
 create mode 100644 tests/doctest.json

diff --git a/tests/Doctest.hs b/tests/Doctest.hs
index f72022d..736ea72 100644
--- a/tests/Doctest.hs
+++ b/tests/Doctest.hs
@@ -1,4 +1 @@
-import           Test.DocTest
-
-main =
-  doctest ["-XOverloadedStrings", "-isrc", "src/Test/VeriFuzz/Verilog/Mutate.hs"]
+{-# options_ghc -F -pgmF doctest-discover -optF test/doctest.json #-}
diff --git a/tests/doctest.json b/tests/doctest.json
new file mode 100644
index 0000000..d6f5cae
--- /dev/null
+++ b/tests/doctest.json
@@ -0,0 +1,5 @@
+{
+    "ignore": [],
+    "sourceFolders": [ "src" ],
+    "doctestOptions": [ "-XOverloadedStrings" ]
+}
diff --git a/verifuzz.cabal b/verifuzz.cabal
index 252bd97..f2524d8 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -1,7 +1,8 @@
 name:                  verifuzz
 version:               0.1.0.0
--- synopsis:
--- description:
+synopsis:              Random verilog generation and simulator testing.
+description:           VeriFuzz provides random verilog generation modules
+                       implementing functions to test supported simulators.
 homepage:              https://github.com/githubuser/verifuzz#readme
 license:               BSD3
 license-file:          LICENSE
@@ -89,4 +90,5 @@ test-suite verifuzz-doctest
   build-depends:       base >= 4 && < 5
                      , verifuzz
                      , doctest
+                     , doctest-discover
   default-extensions:  OverloadedStrings
\ No newline at end of file
-- 
cgit