diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-31 12:14:09 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-31 12:14:09 +0100 |
| commit | 06a73c2872188d137d866c48fd912b2d48878634 (patch) | |
| tree | 5261daa45634722df16a60e5f550804b7b8aed90 | |
| parent | 83f5512402a25cc011814f74c086e045bdcb9d1c (diff) | |
| download | verismith-06a73c2872188d137d866c48fd912b2d48878634.tar.gz verismith-06a73c2872188d137d866c48fd912b2d48878634.zip | |
Adding doctest suite
| -rw-r--r-- | tests/Doctest.hs | 4 | ||||
| -rw-r--r-- | verifuzz.cabal | 11 |
2 files changed, 15 insertions, 0 deletions
diff --git a/tests/Doctest.hs b/tests/Doctest.hs new file mode 100644 index 0000000..f72022d --- /dev/null +++ b/tests/Doctest.hs @@ -0,0 +1,4 @@ +import Test.DocTest + +main = + doctest ["-XOverloadedStrings", "-isrc", "src/Test/VeriFuzz/Verilog/Mutate.hs"] diff --git a/verifuzz.cabal b/verifuzz.cabal index ca4ac0b..56ba3cd 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -88,3 +88,14 @@ test-suite verifuzz-test , lens , text default-extensions: OverloadedStrings + +test-suite verifuzz-doctest + default-language: Haskell2010 + type: exitcode-stdio-1.0 + ghc-options: -threaded + hs-source-dirs: tests + main-is: Doctest.hs + build-depends: base >= 4 && < 5 + , verifuzz + , doctest + default-extensions: OverloadedStrings
\ No newline at end of file |