aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/Doctest.hs5
-rw-r--r--tests/doctest.json5
2 files changed, 6 insertions, 4 deletions
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" ]
+}