@hackage tasty-integrate0.0.1
automated integration of QuickCheck properties into tasty suites
Categories
License
BSD-3-Clause
Maintainer
jfeltz@gmail.com
Links
- Documentation
- No source repository
- Security
Versions
- 0.0.1 Sun, 2 Feb 2014
Installation
Dependencies (0)
- aeson ==0.6.2.1
- base >=4.5 && <=4.6.0.1
- bytestring ==0.10.2.0
- cmdargs ==0.10.2
- containers
- directory Show all…
Dependents (1)
@hackage/acme-everything
This brings automated test-suite creation (such as what naturally occurs in Eclipse) to the Haskell world. This is a set of programs to automate the otherwise manual editing needed to combine new tests (QuickCheck) into test-groupings (tasty test framework).
Given a set of Modules containing properties:
$ ls tests/Data/* QcIntegrated.hs QcModulePath.hs QcSuite.hs
Example use on a suite already importing the Modules above:
$ tasty-integrate --masking test-suites/Suites.hs tests/Data/QcIntegrated.hs (changed) suite at: test-suites/Suite.hs with: added: none removed: Data.QcModulePath, 2 property(s) Data.QcSuite, 1 property(s) modified: none unmodified: Data.QcIntegrated, 3 property(s)
The created suites are IDE parsable, and errors can resolve to their original file. So using the provided ide-format program from this package:
$ ./build/dist/suite/suite | ide-format tests/Data/QcSuite.hs|20 error | buf_isomorphism *** Failed! Falsifiable (after 1 test):