Use AST generator for testing coverage #1085
Labels
backend
Issue in one of the backends (i.e. F*, Coq, EC...)
engine
Issue in the engine
enhancement
New feature or request
stale
The AST generator (#1038) is a nice tool to test coverage. We should add a test/snapshot for this in CI. This will require that you can do individual translation of types, expr, items, patterns, etc. which fits very well with the generic printer.
The text was updated successfully, but these errors were encountered: