tasty-sugar: Tests defined by Search Using Golden Answer References

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

A tasty testing framework that builds individual test configurations from a set of input files and expected results (golden) files along with associated files, where multiple expected results and associated files for each input file can be parameterized by filename.

Additionally a tasty ingredient is supplied that can be used to show the search process and resulting test configurations without actually running the tests.


Change log CHANGELOG.md
Dependencies base (>=4.10 && <5), directory (>=1.3 && <1.4), filemanip (>=0.3 && <0.4), filepath (>=1.4 && <1.5), kvitable (>=1.0 && <1.1), logict (>= && <0.9), microlens (>=0.4 && <0.5), mtl (>=2.2 && <2.3), optparse-applicative (>=0.15 && <0.18), prettyprinter (>=1.7.0 && <1.8), tasty (>=1.2 && <1.5), tasty-sugar, text (>=1.2 && <1.3) [details]
License ISC
Copyright Kevin Quick, 2019-2022
Author Kevin Quick
Maintainer kquick@galois.com
Category Testing
Home page https://github.com/kquick/tasty-sugar
Source repo head: git clone git://github.com/kquick/tasty-sugar.git
Uploaded by KevinQuick at 2022-09-06T19:30:23Z


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees