tweag / topiary

https://topiary.tweag.io/
MIT License
575 stars 29 forks source link

Reinstate coverage tests #786

Closed nbacquey closed 3 weeks ago

nbacquey commented 3 weeks ago

Description

This PR reinstates coverage checks, that were discarded following #672. Those tests check that every piece of query in the *.scm files matches something in the corresponding input file.

In essence, they ensure that every query is useful.

Closes #674 Depends on #785

Checklist

Checklist before merging:

Xophmeister commented 3 weeks ago

@nbacquey Should the base branch for this PR be nb/coverage?