Convert all tests to dune's cram test format.
This removes the auxiliary lib test that is used to generate one dune rule for each test. This adds a new requirement for dune >= 2.8 (that was already needed for one of the opam packages).
The other commits use this new infrastructure to test the external tools (dtd2cduce
and cduce_mktop
) and update the instructions.
Note I discovered while writing these tests some bugs in the external tools that I fixed directly on dev
without creating issues nor MR.