@hackage tasty-sugar2.2.3.3
Tests defined by Search Using Golden Answer References
Installation
Tested Compilers
Dependencies (23)
Dependents (5)
@hackage/llvm-pretty-bc-parser, @hackage/crucible-llvm, @hackage/what4, @hackage/crux-llvm, @hackage/tasty-prelude
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.