Skip to content

buzden/idris2-golden-runner-helper

Repository files navigation

A helper for custom runner of golden tests

Standard runner of Idris2's golden tests library is very tunable and nice, but is suited well for running from makefiles.

Package manager pack supports running tests put in special test packages, which is very convenient once you use pack. However, standard runner from Test.Golden requires a lot of options to be passed at the command-line which is not convenient if you want simply use pack test <my-library>.

So, this is an alternative runner of the same golden tests which is friendly with simple use by pack test command. It tries to be suitable both for running from interactive shell and CI with the same command.

About

An easy way to create `pack`-friendly runners of golden tests

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages