agda2scheme icon indicating copy to clipboard operation
agda2scheme copied to clipboard

Published 20 hours ago • verified publisher icon jespercockx

Automate unit tests

Open lemastero opened this issue 1 year ago • 1 comments

Hello, In test directory there are golden tests, but there is no code that actually illustrate how to run them. Since this repo works as example how to build backend, it would be nice to have unit tests encoded in Haskell.

lemastero avatar Dec 09 '23 12:12 lemastero

I'm honored that this repository serves as an example of how to build a backend but honestly it is just a side project that is currently on hiatus. I would love to have some kind of proper test setup for it though, preferably using tasty-golden or a similar library.

jespercockx avatar Dec 09 '23 15:12 jespercockx