diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 22:04:52 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 22:04:52 +0000 |
| commit | 7fde58742352f17b0cc2bf34f8815067aaa8b7da (patch) | |
| tree | f0d0062dd15ae276095a0bc7024070ff92a2a92a | |
| parent | 8b22145bf32c96067358193388a54621d3826628 (diff) | |
| download | verismith-7fde58742352f17b0cc2bf34f8815067aaa8b7da.tar.gz verismith-7fde58742352f17b0cc2bf34f8815067aaa8b7da.zip | |
Reformat the main file and upgrade lts
| -rw-r--r-- | stack.yaml | 2 | ||||
| -rw-r--r-- | tests/test.hs | 2 | ||||
| -rw-r--r-- | verifuzz.cabal | 25 |
3 files changed, 15 insertions, 14 deletions
@@ -1,4 +1,4 @@ -resolver: lts-12.15 +resolver: lts-12.20 packages: - . extra-deps: diff --git a/tests/test.hs b/tests/test.hs index 3255c72..b1958c3 100644 --- a/tests/test.hs +++ b/tests/test.hs @@ -1,3 +1,5 @@ +module Main where + import Test.Tasty import Test.Tasty.HUnit import Test.Tasty.QuickCheck as QC diff --git a/verifuzz.cabal b/verifuzz.cabal index c6795a5..f0b3f06 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -1,17 +1,17 @@ -name: verifuzz -version: 0.1.0.0 +name: verifuzz +version: 0.1.0.0 -- synopsis: -- description: -homepage: https://github.com/githubuser/verifuzz#readme -license: BSD3 -license-file: LICENSE -author: Yann Herklotz -maintainer: ymherklotz@gmail.com -copyright: 2018 Yann Herklotz -category: Web -build-type: Simple -cabal-version: >=1.10 -extra-source-files: README.md +homepage: https://github.com/githubuser/verifuzz#readme +license: BSD3 +license-file: LICENSE +author: Yann Herklotz +maintainer: ymherklotz@gmail.com +copyright: 2018 Yann Herklotz +category: Web +build-type: Simple +cabal-version: >=1.10 +extra-source-files: README.md library hs-source-dirs: src @@ -43,7 +43,6 @@ test-suite verifuzz-test type: exitcode-stdio-1.0 hs-source-dirs: tests main-is: test.hs - other-modules: Test.VeriFuzz build-depends: base >= 4 && < 5 , verifuzz , tasty >= 0.7 |