aboutsummaryrefslogtreecommitdiffstats
path: root/tests/Doctest.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/Doctest.hs')
-rw-r--r--tests/Doctest.hs5
1 files changed, 1 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 #-}