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.