@hackage / tasty-sugar

Tests defined by Search Using Golden Answer References

Latest2.2.3.3

About

Metadata

  • Last updated , by KevinQuick
  • License ISC
  • Categories Testing

  • Maintained by: kquick@galois.com

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.6.1
  2. 9.4.4
  3. 9.2.3
  4. 9.0.1
  5. 8.10.7
  6. 8.8.4
  7. 8.6.5

Readme

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.