search

idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
61 stars 7 forks source link

Add golden test framework #26

Closed alexhumphreys closed 3 years ago

alexhumphreys commented 3 years ago

I'm not sure what kind of testing plan you had in mind for Inigo, but I really like the idris2 style golden tests, especially for testing an executable, so this is me adding the groundwork to run more tests like that. If you had a different plan for tests that's cool, I'm happy to close this.

So far it's just testing that the help output appears, but it should be easy to extend to add more interesting tests of functionality like inigo build and so on.

Z-snails commented 3 years ago

I'm happy with these changes, CI isn't quite right, so I'm trying to fix it with #27. But I'll merge this first and then fix mine after.

alexhumphreys commented 3 years ago

Cool thanks! My theory on the CI error was that the cached ~/.idris2 dir is from a build that didn't include idrall, and an uncached fresh build would be ok, but there might be other errors...