Implement simple diff test framework for tests and CI
Closed this issue · 0 comments
insightmind commented
It should compare that given an input file, e.g.: a Lean code file, the expected output given the output configuration, e.g. AlectryonFragments is generated. Basically a type of snapshot testing.