Implement simple diff test framework for tests and CI

leanprover / LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

Apache License 2.0

60 stars 16 forks source link

Implement simple diff test framework for tests and CI #6

Closed insightmind closed 2 years ago

insightmind commented 3 years ago

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.