Test cleanup - Githubissues

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.

https://ocaml-gospel.github.io/gospel

MIT License

128 stars 16 forks source link

Test cleanup #312

Closed n-osborne closed 1 year ago

n-osborne commented 1 year ago

Share as much as possible test/*/dune logic
Move the test dune-config generator to test/utils/dune_gen.ml
Document the commandline arguments for dune_gen
Move the test checker to test/utils/testchecker.ml
Add the dependency to the gospel binary for every test
Add an alias duneincs to generate the dune.inc files
Tell git to consider dune.inc files as binaries
Document how to have git call dune to resolve conflicts on dune.inc files
Cleanup tests part one

shym commented 1 year ago

I just added a new commit that fixes a few issues with the cleanup-test one:

missing updates to dune_gen.options files
promotion of files after all those renaming and editions. I kept it separate for the review, but it should be squashed in, obviously.

shym commented 1 year ago

I progressed on this PR, cleaning up the last directories. I must confess I tend to move many tests into the syntax category, maybe the main vague categories are not that useful. Or the other hand, maybe having a couple of vague categories is not such a big deal.

shym commented 1 year ago

Now that it covers the full test suite, this will close #298.

Closes #298