Skip to content

Convert all tests to dune's cram test format.

Kim Nguyễn requested to merge cram-test-migration-for-ci into dev

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.

Edited by Kim Nguyễn

Merge request reports