diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-09 21:12:28 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-09 21:12:28 +0000 |
| commit | a8436846201d03b80d8b11b68ef07923bb2997b4 (patch) | |
| tree | 85fa9f628536711a9888a0c7601cee5f06016470 /verifuzz.cabal | |
| parent | c96a9c4d4bb31ec0238a40f79da6eddf4e8d57a7 (diff) | |
| download | verismith-a8436846201d03b80d8b11b68ef07923bb2997b4.tar.gz verismith-a8436846201d03b80d8b11b68ef07923bb2997b4.zip | |
Add doctest-discover
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 6 |
1 files changed, 4 insertions, 2 deletions
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 |